diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-01-12 23:00:57 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-05-31 16:53:33 +0200 |
commit | 8d0312f69966fbfcfc2f9602ccf660dfe7513885 (patch) | |
tree | 884e1b2373e6a7baa22f2affbb14270e4aef2dba /src/dotty/tools/dotc/typer/Implicits.scala | |
parent | 5c2a19bfbbb158c809969fa2a9685b5c7e2695ea (diff) | |
download | dotty-8d0312f69966fbfcfc2f9602ccf660dfe7513885.tar.gz dotty-8d0312f69966fbfcfc2f9602ccf660dfe7513885.tar.bz2 dotty-8d0312f69966fbfcfc2f9602ccf660dfe7513885.zip |
Avoid creating AndTypes with Any
This reduces the number of implicit scopes we cache.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Implicits.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Implicits.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Implicits.scala b/src/dotty/tools/dotc/typer/Implicits.scala index 257828fb3..b59d177b1 100644 --- a/src/dotty/tools/dotc/typer/Implicits.scala +++ b/src/dotty/tools/dotc/typer/Implicits.scala @@ -287,7 +287,7 @@ trait ImplicitRunInfo { self: RunInfo => case tp: TypeRef if tp.symbol.isAbstractOrAliasType => val pre = tp.prefix def joinClass(tp: Type, cls: ClassSymbol) = - AndType(tp, cls.typeRef.asSeenFrom(pre, cls.owner)) + AndType.make(tp, cls.typeRef.asSeenFrom(pre, cls.owner)) val lead = if (tp.prefix eq NoPrefix) defn.AnyType else apply(tp.prefix) (lead /: tp.classSymbols)(joinClass) case tp: TypeVar => |