aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/typer/Inferencing.scala
Commit message (Expand)AuthorAgeFilesLines
* Narrow matches from TypeLambda to HKTypeLambda where appropriateMartin Odersky2017-04-061-3/+3
* Split HKTypeLambda from PolyTypeMartin Odersky2017-04-061-2/+2
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-1/+1
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-2/+2
* Infer type parameters of anonymous class parents from expected typeMartin Odersky2016-12-171-0/+12
* Fix #1757: Be more careful about positions of type variable bindersMartin Odersky2016-12-011-2/+2
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+362