diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-09-18 17:38:43 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-11 08:24:35 +0200 |
| commit | 8f18250f4fe494e0b6314fc2cb8e501753e79064 (patch) | |
| tree | 95a88d863007b226796a95a575bb4c0222afce67 /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | 59ae5e6443980569877b8072f23947493463f1ba (diff) | |
| download | dotty-8f18250f4fe494e0b6314fc2cb8e501753e79064.tar.gz dotty-8f18250f4fe494e0b6314fc2cb8e501753e79064.tar.bz2 dotty-8f18250f4fe494e0b6314fc2cb8e501753e79064.zip | |
Allow relaxed typing of applications
Some transformations encounter applications where new arguments ahve to be
supplied. The method type already accounts for these argument but the
Application node passed into TreeTransform#transformApply is constructed
with a cpy.Apply operation which does a type assignment. That type assignment
fails with a parameter mismatch unless relaxedTyping is on.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
0 files changed, 0 insertions, 0 deletions