Peng Cheng

`-Ytyper-debug` gave almost identical error. The full scope of the error looks like this: (I guess this is more suitable to be posted on scalabug issue tracker, bu here you...

agreed, after spending some time playing with the compiler it appears that all implicit inference from symbols like `S` has the same problem, if I replace the line that causes...

No it was not relevant, original ticket (https://github.com/scala/scala/pull/5836) merely shows a feature being removed due to conflict with other behaviour of the compiler. So I end up debugging it in...

yes sir, `println(aaT.typeSymbol.typeSignature)` yields: ``` [S

At your service: ``` println(aaT) edu.umontreal.kotlingrad.shapesafe.m.arity.Arity.FromLiteral[Int(6)]#Out#Out println(universe.showRaw(aaT)) TypeRef(TypeRef(TypeRef(SingleType(ThisType(edu.umontreal.kotlingrad.shapesafe.m.arity), edu.umontreal.kotlingrad.shapesafe.m.arity.Arity), edu.umontreal.kotlingrad.shapesafe.m.arity.Arity.FromLiteral, List(FoldableConstantType(Constant(6)))), TypeName("Out"), List()), TypeName("Out"), List()) println(aaT.dealias) edu.umontreal.kotlingrad.shapesafe.m.arity.Arity.FromLiteral[Int(6)] println(universe.showRaw(aaT.dealias)) TypeRef(SingleType(ThisType(edu.umontreal.kotlingrad.shapesafe.m.arity), edu.umontreal.kotlingrad.shapesafe.m.arity.Arity), edu.umontreal.kotlingrad.shapesafe.m.arity.Arity.FromLiteral, List(FoldableConstantType(Constant(6)))) println(aaT.typeSymbol) class FromLiteral println(universe.showRaw(aaT.typeSymbol)) edu.umontreal.kotlingrad.shapesafe.m.arity.Arity.FromLiteral println( aaT.baseClasses.map {...

the result is also displayed in the CI: https://github.com/tribbloid/shapesafe/runs/981704487?check_suite_focus=true#step:4:281

@soronpo sorry for the slow reply, I just tried your example and it reproduces the error: ``` object ErrorCase0 { case class Outer[S]() { type SS = S } val...

If you like to play with it, voila: https://scastie.scala-lang.org/tribbloid/3Ijg2dSLRcmiiNrXnSf4hg

@soronpo I'm so sorry, after 2 weeks I no longer remember how shapeless works :facepalm: I think I've finally isolate the problem, all caused by `this.type` as an abstract type:...

Thanks a lot, I didn't find any test case for RequireMsg with such feature, is there a class name I should focus on?