Intersection types made specializable.

Formerly a specializable type parameter would be missed if in an
intersection.

  trait Trait[@specialized T] {
    def f[T](x: Foo[T] with Bar) = x
  }

Now that is specialized, as it already was in the "Foo[T]" case. Closes
SI-4794, no review.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala b/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala
index 478e20dde8..825edbe517 100644
--- a/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala
+++ b/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala
@@ -346,6 +346,7 @@ abstract class SpecializeTypes extends InfoTransform with TypingTransformers {
     case ExistentialType(_, res)     => specializedTypeVars(res)
     case AnnotatedType(_, tp, _)     => specializedTypeVars(tp)
     case TypeBounds(lo, hi)          => specializedTypeVars(List(lo, hi))
+    case RefinedType(parents, _)     => parents flatMap specializedTypeVars toSet
     case _                           => Set()
   }