Boolean Not Precedence

Stream: lean4

[Marcus Rossel]

Is this expected/intended?

opaque f : Bool → Bool → Bool
#check f !true false
----------^^^^^^^^^^
/-
function expected at
  true
term has type
  Bool
-/