parser vs. lean.parser

Stream: new members

[Joachim Breitner]

I am getting

/home/ghrunner/actions-runner/_work/mathlib/mathlib/src/tactic/interactive.lean:198:48:
ambiguous overload, possible interpretations
  parser (pexpr × name)
  lean.parser (pexpr × name)
Additional information:
/home/ghrunner/actions-runner/_work/mathlib/mathlib/src/tactic/interactive.lean:198:48: context: switched to basic overload resolution where arguments are elaborated without any information about the expected type because expected type was not available

after what seems local and innocent changes in to_additive in https://github.com/leanprover-community/mathlib/pull/13330. How could I have broken that?