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/test/files/run/t4794.check b/test/files/run/t4794.check
new file mode 100644
index 0000000000..f599e28b8a
--- /dev/null
+++ b/test/files/run/t4794.check
@@ -0,0 +1 @@
+10