Print coercions explicitly

Stream: mathlib4

[Shreyas Srinivas]

Is there a way to get the tactic state to show the coercions which are called explicitly, instead of the up arrows?

[Shreyas Srinivas]

In situations where something might be going wrong with them, it helps to see what the result type of the coercion is or what coercion function is called explicitly, for debugging

[James Gallicchio]

set_option pp.coercions false should work, I think?

[Shreyas Srinivas]

That works. Thanks :)