From 3b7cba4666be03991083fe89780120eae9843c52 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 24 Aug 2014 17:49:48 +0200 Subject: 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. --- src/dotty/tools/dotc/core/Scopes.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc/core/Scopes.scala') diff --git a/src/dotty/tools/dotc/core/Scopes.scala b/src/dotty/tools/dotc/core/Scopes.scala index 426df83bc..c8252e02e 100644 --- a/src/dotty/tools/dotc/core/Scopes.scala +++ b/src/dotty/tools/dotc/core/Scopes.scala @@ -298,7 +298,7 @@ object Scopes { while (e ne null) { if (e.sym is Implicit) { val d = e.sym.denot - irefs += TermRef.withSig(NoPrefix, e.sym.asTerm.name, d.signature, e.sym.denot) + irefs += TermRef.withSigAndDenot(NoPrefix, d.name.asTermName, d.signature, d) } e = e.prev } -- cgit v1.2.3