odersky

If we forget about the implicit parameter and just write: ```scala final case class Wrap[T

To address this, we will need a minimization that does not involve third part libraries.

@bishabosha The last commit changes the one occurrence of `@unchecked` in an error message that I could find. Do you know of others?

@Alex1005a, thanks for the contribution! The interaction of type inference and implicit search is tricky, since implicit search might be intended to instantiate some variables and inferring these variables beforehand...