type constructor inference should normalize to improve unification #3777
Closed
Description
this should compile:
object Test {
type Point = Map[Symbol, String]
type Points = IndexedSeq[Point]
def makePoints2: Points = IndexedSeq[Point]()
val spoints2 = util.Random.shuffle(makePoints2)
}instead it gives an error (which itself is buggy):
error: type mismatch;
found : Test.Points
required: ?CC[ ?T ]
Note that implicit conversions are not applicable because they are ambiguous:(type variables should not occur in error messages)