diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-19 23:00:31 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:29 +0200 |
| commit | d101f49223ca9b3cf807125fa42af581b729d9ce (patch) | |
| tree | 3ad9ea25b1515809c0e59c4540e1e30aa7a4a084 /compiler/src/dotty/tools/dotc/typer/Typer.scala | |
| parent | 2e04574c4791428ed43f2fb98884361b2cd4e659 (diff) | |
| download | dotty-d101f49223ca9b3cf807125fa42af581b729d9ce.tar.gz dotty-d101f49223ca9b3cf807125fa42af581b729d9ce.tar.bz2 dotty-d101f49223ca9b3cf807125fa42af581b729d9ce.zip | |
Polishings
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala index 723e7007f..2760ceba9 100644 --- a/compiler/src/dotty/tools/dotc/typer/Typer.scala +++ b/compiler/src/dotty/tools/dotc/typer/Typer.scala @@ -1055,7 +1055,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit typr.println(s"adding refinement $refinement") checkRefinementNonCyclic(refinement, refineCls, seen) val rsym = refinement.symbol - if (rsym.info.isInstanceOf[TypeLambda] && rsym.allOverriddenSymbols.isEmpty) + if (rsym.info.isInstanceOf[PolyType] && rsym.allOverriddenSymbols.isEmpty) ctx.error(i"polymorphic refinement $rsym without matching type in parent $tpt1 is no longer allowed", refinement.pos) } assignType(cpy.RefinedTypeTree(tree)(tpt1, refinements1), tpt1, refinements1, refineCls) } |