diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-08-24 17:49:48 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-08-24 17:50:33 +0200 |
| commit | 3b7cba4666be03991083fe89780120eae9843c52 (patch) | |
| tree | be7b8b6320fff2c14d78d81e8ed70a7d89de16e0 /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | 1f2619bdc4c7b80c3f63fecbe27e47d5f665931d (diff) | |
| download | dotty-3b7cba4666be03991083fe89780120eae9843c52.tar.gz dotty-3b7cba4666be03991083fe89780120eae9843c52.tar.bz2 dotty-3b7cba4666be03991083fe89780120eae9843c52.zip | |
Make type creators work for erased types.
- Some types are different when erased (e.g. prefixes are NoPrefix)
- Some types are forbidden when erased. Put in assertions to check that fact.
Also, some renaming and doc comments to make creation of TermRefs and TypeRefs
clearer.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index e1f860589..1cfd03e4c 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1143,7 +1143,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit val altDenots = ref.denot.alternatives typr.println(i"adapt overloaded $ref with alternatives ${altDenots map (_.info)}%, %") val alts = altDenots map (alt => - TermRef.withSig(ref.prefix, ref.name, alt.info.signature, alt)) + TermRef.withSigAndDenot(ref.prefix, ref.name, alt.info.signature, alt)) def expectedStr = err.expectedTypeStr(pt) resolveOverloaded(alts, pt) match { case alt :: Nil => |