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/ImportInfo.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/ImportInfo.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/ImportInfo.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/ImportInfo.scala b/src/dotty/tools/dotc/typer/ImportInfo.scala index 18e5db209..9152a8d54 100644 --- a/src/dotty/tools/dotc/typer/ImportInfo.scala +++ b/src/dotty/tools/dotc/typer/ImportInfo.scala @@ -86,7 +86,7 @@ class ImportInfo(val sym: Symbol, val selectors: List[untpd.Tree], val isRootImp for { renamed <- reverseMapping.keys denot <- pre.member(reverseMapping(renamed)).altsWith(_ is Implicit) - } yield TermRef.withSig(pre, renamed, denot.signature, denot) + } yield TermRef.withSigAndDenot(pre, renamed, denot.signature, denot) } /** The root import symbol hidden by this symbol, or NoSymbol if no such symbol is hidden. |