Showing detailed information about generic types

Question
1

Hello.
Sometimes on complex generic inferences, the compiler error doesn’t show the generic types in details:


    io.github.iltotore.iron.constraint.given_Consequence_A_B1_And[A, B1, B2, C1](
      io.github.iltotore.iron.constraint.given_Consequence_A_B1_And[A, B1, B2, C1](
        io.github.iltotore.iron.constraint.defaultConsequence[A, B1, B2, Cons](
          /* ambiguous: both given instance given_EqualConstraint_A_V in 
      package io.github.iltotore.iron.constraint and given instance given_StrictEqualConstraint_A_V in 
      package io.github.iltotore.iron.constraint match type Cons */
            summon[Cons]
        )
      )
    )

In this example, I would like to know which type correspond to A, B1, etc…

Is there a compiler option to do that ?