diff options
author | Martin Odersky <odersky@gmail.com> | 2013-12-10 22:02:06 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-12-10 22:02:06 +0100 |
commit | a2e1606a03b1ebd7553ee6f10b04227bfd69c9e1 (patch) | |
tree | 48c80fb042414c84f6744bbd3b1d21f665aaeb9a /src/dotty/tools/dotc/typer/Typer.scala | |
parent | eb0813b9ef437b9c89f8b67ae5b0070b300a0fc1 (diff) | |
download | dotty-a2e1606a03b1ebd7553ee6f10b04227bfd69c9e1.tar.gz dotty-a2e1606a03b1ebd7553ee6f10b04227bfd69c9e1.tar.bz2 dotty-a2e1606a03b1ebd7553ee6f10b04227bfd69c9e1.zip |
Fixing a problem with swallowed errors
The problem was that in FunProto#typedArg we cache typed arguments, to retrieve them later, possibly in a different context (Example: typedArg might be computed during overloading resolution, and then cached copy
might be inserted in resolved call. The problem is that any errors, warnings or other diagnostics might be swallowed, if typedArg is computed in a context that is not committed but then re-used in a committed context.
The fix is to cache typed arguments only if no diagnostics were issued during their computation.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
0 files changed, 0 insertions, 0 deletions