diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-10-24 17:37:29 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-10-24 17:37:29 +0200 |
| commit | 538764f17ee1bb94dbfb2d2fb4241c55af3dc896 (patch) | |
| tree | d909eb8f911b79f51c226df6fdb43adbe5a2b529 /src/dotty/tools/dotc/typer/Checking.scala | |
| parent | 4f15c103cca72a0f673bbc07025120e5308360ec (diff) | |
| download | dotty-538764f17ee1bb94dbfb2d2fb4241c55af3dc896.tar.gz dotty-538764f17ee1bb94dbfb2d2fb4241c55af3dc896.tar.bz2 dotty-538764f17ee1bb94dbfb2d2fb4241c55af3dc896.zip | |
Remove redundant tests
isHK already does a dealias.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Checking.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Checking.scala | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/typer/Checking.scala b/src/dotty/tools/dotc/typer/Checking.scala index fa417beec..b8b4c89b4 100644 --- a/src/dotty/tools/dotc/typer/Checking.scala +++ b/src/dotty/tools/dotc/typer/Checking.scala @@ -398,9 +398,7 @@ trait Checking { if (tpt.tpe.isHK && !ctx.compilationUnit.isJava) { // be more lenient with missing type params in Java, // needed to make pos/java-interop/t1196 work. - val alias = tpt.tpe.dealias - if (alias.isHK) errorTree(tpt, d"missing type parameter for ${tpt.tpe}") - else tpt.withType(alias) + errorTree(tpt, d"missing type parameter for ${tpt.tpe}") } else tpt } |