diff options
Diffstat (limited to 'src/dotty/tools/dotc/typer/Inferencing.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Inferencing.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Inferencing.scala b/src/dotty/tools/dotc/typer/Inferencing.scala index 3ef9f42a6..4986d257e 100644 --- a/src/dotty/tools/dotc/typer/Inferencing.scala +++ b/src/dotty/tools/dotc/typer/Inferencing.scala @@ -73,7 +73,8 @@ object Inferencing { * [ ].name: proto */ class SelectionProto(val name: Name, proto: Type, compat: Compatibility) - extends DirectRefinedType(WildcardType, name, proto) with ProtoType { + extends RefinedType(WildcardType, name) with ProtoType { + override val refinedInfo = proto override def isMatchedBy(tp1: Type)(implicit ctx: Context) = name == nme.WILDCARD || { val mbr = tp1.member(name) |