diff options
author | Martin Odersky <odersky@gmail.com> | 2015-11-05 16:57:54 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-11-05 16:58:18 +0100 |
commit | 9767782a4766826ef903836609cb34c9bad2df61 (patch) | |
tree | 0d67c23e11eb52bdae4b8471aac49086ef5e0cc0 /src/dotty/tools/dotc/typer/Applications.scala | |
parent | 5cce9b47427e96ab2159a88137ae74e92939b757 (diff) | |
download | dotty-9767782a4766826ef903836609cb34c9bad2df61.tar.gz dotty-9767782a4766826ef903836609cb34c9bad2df61.tar.bz2 dotty-9767782a4766826ef903836609cb34c9bad2df61.zip |
Check bounds of inferred typevars in PostTyper.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 0fee17bcd..87bed8895 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -607,7 +607,7 @@ trait Applications extends Compatibility { self: Typer => case pt: PolyType => if (typedArgs.length <= pt.paramBounds.length) typedArgs = typedArgs.zipWithConserve(pt.paramBounds)(adaptTypeArg) - checkBounds(typedArgs, pt) + Checking.checkBounds(typedArgs, pt) case _ => } assignType(cpy.TypeApply(tree)(typedFn, typedArgs), typedFn, typedArgs) |