diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-02-06 21:53:56 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-02-06 21:55:17 +0100 |
| commit | 0d356254c4d6326398c9c1a587ad193fadef6883 (patch) | |
| tree | efca748e4e2278c675a2880cc0b31927272aa6c9 /src/dotty/tools/dotc/typer/Inferencing.scala | |
| parent | ab62ca99a31ccd1984b875f7040b430bfccc2724 (diff) | |
| download | dotty-0d356254c4d6326398c9c1a587ad193fadef6883.tar.gz dotty-0d356254c4d6326398c9c1a587ad193fadef6883.tar.bz2 dotty-0d356254c4d6326398c9c1a587ad193fadef6883.zip | |
Catch stale references
If a NamedType was denoted a SymDenotation one run, but stops being defined in the next, throw a staleSymbol error.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Inferencing.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Inferencing.scala | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/typer/Inferencing.scala b/src/dotty/tools/dotc/typer/Inferencing.scala index a153f9066..868276598 100644 --- a/src/dotty/tools/dotc/typer/Inferencing.scala +++ b/src/dotty/tools/dotc/typer/Inferencing.scala @@ -204,10 +204,6 @@ object Inferencing { */ abstract case class ViewProto(argType: Type, override val resultType: Type)(implicit ctx: Context) extends CachedGroundType with ApplyingProto { - // def lookingForInfo = resultType match { - // case rt: SelectionProto => rt.name.toString == "info" - // case _ => false - // } def isMatchedBy(tp: Type)(implicit ctx: Context): Boolean = /*ctx.conditionalTraceIndented(lookingForInfo, i"?.info isMatchedBy $tp ${tp.getClass}")*/ { ctx.typer.isApplicable(tp, argType :: Nil, resultType) } |