panic in macro_rules attributes

Stream: lean4

[Mario Carneiro]

@[simp] macro_rules | `(_) => `(_)

besides the normal errors, there is also a (not very specific) panic:

PANIC at Option.get! Init.Data.Option.BasicAux:16:14: value is none

[Mario Carneiro]

you get this error regardless of the attribute

[Daniel Selsam]

This one doesn't panic any more, presumably because of https://github.com/leanprover/lean4/commit/83b83f51e99f725ec60d63b6e497d372b40c9fa6