Goal True.
  Typeclasses eauto := debug.
  Fail solve [ typeclasses eauto ].
  Fail typeclasses eauto.