Simp Error Message

Stream: lean4

[Marcus Rossel]

Is the following the intended error message?

@[simp] theorem t : True = True := rfl

example : True = True := by
  simp only [-t] -- 't' does not have [simp] attribute

And are simpErases disallowed for simp only in general?

[Ruben Van de Velde]

I think yes disallowed, but the error message is odd