summaryrefslogtreecommitdiff
path: root/test/files/pos/t8023b.scala
Commit message (Collapse)AuthorAgeFilesLines
* SI-8023 Address review comments around typedHigherKindedTypeJason Zaugg2013-12-031-0/+2
- Make `WildCardType` kind polymorphic - Factory methods for expected kinds. They are still just `Type`-s, though. - Check if the type parameter is initialized, rather than its owner. - Take advantage of these to cleanup `typedAppliedTypeTree` TODO: is this comment totally accurate? If so, should we refactor `Kind.FromParams(tparams)` to `Kind.Arity(tparams.length)`? // @M: kind-arity checking is done here and in adapt, // full kind-checking is in checkKindBounds (in Infer)