local_notation_meta_bug.lean

local infix (name := plus1) ` + ` := nat.add
@[class] local infix (name := plus2) ` + ` := nat.add
noncomputable local infix (name := plus3) ` + ` := nat.add
@[class] noncomputable local infix (name := plus4) ` + ` := nat.add
/-- foo -/ local infix (name := plus5) ` + ` := nat.add