diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-10-09 13:10:28 +0200 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-10-09 13:15:34 +0200 |
commit | 03a06e02483eaf442158339c2edd6bcfd99847a3 (patch) | |
tree | e7e5c4bdc18de0b97640f760f33c3651bc74c715 /test/files/neg/t545.check | |
parent | 185ff4c929645a14fcfe77b6bcdea2bc28ece100 (diff) | |
download | scala-03a06e02483eaf442158339c2edd6bcfd99847a3.tar.gz scala-03a06e02483eaf442158339c2edd6bcfd99847a3.tar.bz2 scala-03a06e02483eaf442158339c2edd6bcfd99847a3.zip |
SI-7902 Fix spurious kind error due to an unitialized symbol
Tracked down this error:
<none> is invariant, but type Y2 is declared covariant
<none>'s bounds<notype> are stricter than type X2's declared bounds >: Nothing <: Any, <none>'s bounds<notype> are stricter than type Y2's declared bounds >: Nothing <: Any
to `Symbol#typeParams` returning `List(NoSymbol)` if the symbol
was not initialized.
This happends in the enclosed test for:
// checkKindBoundsHK()
hkArgs = List(type M3)
hkParams = List(type M2)
This commit forces the symbol of the higher-kinded type argument
before checking kind conformance.
A little backstory:
The `List(NoSymbol)` arises from:
class PolyTypeCompleter... {
// @M. If `owner` is an abstract type member, `typeParams` are all NoSymbol (see comment in `completerOf`),
// otherwise, the non-skolemized (external) type parameter symbols
override val typeParams = tparams map (_.symbol)
The variation that triggers this problem gets into the kind
conformance checks quite early on, during naming of:
private[this] val x = ofType[InSeq]
The inferred type of which is forced during:
def addDerivedTrees(typer: Typer, stat: Tree): List[Tree] = stat match {
case vd @ ValDef(mods, name, tpt, rhs) if !noFinishGetterSetter(vd) =>
// If we don't save the annotations, they seem to wander off.
val annotations = stat.symbol.initialize.annotations
Diffstat (limited to 'test/files/neg/t545.check')
0 files changed, 0 insertions, 0 deletions