diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-11-21 18:09:10 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-11-24 14:57:49 +0100 |
| commit | a468a864dcdb89091985c194737968a979e874fb (patch) | |
| tree | 4fc942a70e2a3a2c9a9f84acf1f57a696e587233 /src/dotty/tools/dotc/typer/Applications.scala | |
| parent | f6ebe1ec66220db511d0080f3807c3a0512fc01c (diff) | |
| download | dotty-a468a864dcdb89091985c194737968a979e874fb.tar.gz dotty-a468a864dcdb89091985c194737968a979e874fb.tar.bz2 dotty-a468a864dcdb89091985c194737968a979e874fb.zip | |
checkBounds refactoring
Move core logic to TypeOps, only leave error reporting in Checking.
That way, we have the option of re-using the code as a simple test
elsewhere.
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 9b2e64f35..ba770cf2c 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -593,7 +593,7 @@ trait Applications extends Compatibility { self: Typer => else tree if (typedArgs.length <= pt.paramBounds.length) typedArgs = typedArgs.zipWithConserve(pt.paramBounds)(adaptTypeArg) - checkBounds(typedArgs, pt, tree.pos) + checkBounds(typedArgs, pt) case _ => } assignType(cpy.TypeApply(tree)(typedFn, typedArgs), typedFn, typedArgs) |