tlc.diff

+[warn] !!! HK subtype check on [X]std.this.Consecutive[X] and scala.this.Singleton, but both don't normalize to polytypes:
+[warn]   tp1=[X]std.this.Consecutive[X] PolyType
+[warn]   tp2=scala.this.Singleton ClassNoArgsTypeRef
 [info] [log typer] ?_$2 setInst lang.this.String
-[info] [log typer] ?A setInst scala.this.Any
-[info] [log typer] TVar<CC=null> addHiBound [X]std.this.Consecutive[X].instantiateTypeParams(List(type A, type CC), List(=?scala.this.Any, TVar<CC=n*ull>))
+[info] [log typer] ?A setInst scala.this.Singleton
+[info] [log typer] TVar<CC=null> addHiBound [X]std.this.Consecutive[X].instantiateTypeParams(List(type A, type CC), List(=?scala.this.Singleton, TVa*r<CC=null>))
+[warn] !!! HK subtype check on [X]std.this.Consecutive[X] and scala.this.Singleton, but both don't normalize to polytypes:
+[warn]   tp1=[X]std.this.Consecutive[X] PolyType
+[warn]   tp2=scala.this.Singleton ClassNoArgsTypeRef
 [info] [log typer] ?CC setInst [X]std.this.Consecutive[X]
-[info] [log typer] Inferred type for CC in StdShow#showConsecutive[A,CC[X] <: std.this.Consecutive[X]] ([X]std.this.Consecutive[X]) does not conform* to bounds:  >: lang.this.Comparable <: [X]std.this.Consecutive[X] _= [X]std.this.Consecutive[X]
-[info] [log typer] error tree = psp.std.StdShow.showConsecutive[scala.this.Any, [X]std.this.Consecutive[X]]
+[info] [log typer] Inferred type for A in StdShow#showConsecutive[A,CC[X] <: std.this.Consecutive[X]] (scala.this.Singleton) does not conform to bou*nds:  >: lang.this.String <: scala.this.Singleton _= scala.this.Singleton
+[info] [log typer] error tree = psp.std.StdShow.showConsecutive[scala.this.Singleton, [X]std.this.Consecutive[X]]