From 2f73bcc56e0ea8d0124ce52beb9aa9c68f245a53 Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Fri, 19 Aug 2016 09:42:44 +1000 Subject: Minor changes after review --- src/reflect/scala/reflect/internal/tpe/TypeMaps.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/reflect') diff --git a/src/reflect/scala/reflect/internal/tpe/TypeMaps.scala b/src/reflect/scala/reflect/internal/tpe/TypeMaps.scala index df61d2e418..ba4f2bec4b 100644 --- a/src/reflect/scala/reflect/internal/tpe/TypeMaps.scala +++ b/src/reflect/scala/reflect/internal/tpe/TypeMaps.scala @@ -614,12 +614,12 @@ private[internal] trait TypeMaps { val pre1 = pre match { case tv: TypeVar => // Needed with existentials in prefixes, e.g. test/files/pos/typevar-in-prefix.scala - // Perhaps the base type sequence of a type var should include it bounds? + // Perhaps the base type sequence of a type var should include its bounds? tv.origin case _ => pre } // widen needed (at least) because of https://github.com/scala/scala-dev/issues/166 - (clazz == candidate) && ( + ( if (clazz.isRefinementClass) // base type seqs of aliases over refinement types have copied refinement types based on beta reduction // for reliable lookup we need to consult the base type of the type symbol. (example: pos/t8177b.scala) -- cgit v1.2.3