From a546fc8f4979a0705e62df71b905860e1ce0a89d Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Tue, 21 Jun 2011 17:21:07 +0000 Subject: Relaxes a typer check which fails valid code wi... Relaxes a typer check which fails valid code with NoCommonType. If the instantiated types or type bounds do not conform, it tries normalizing the type before throwing the exception. Closes #4553. I wrote this patch with adriaan already, but bonus review by moors. --- test/files/pos/bug4553.scala | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 test/files/pos/bug4553.scala (limited to 'test/files/pos/bug4553.scala') diff --git a/test/files/pos/bug4553.scala b/test/files/pos/bug4553.scala new file mode 100755 index 0000000000..4eefe57b2b --- /dev/null +++ b/test/files/pos/bug4553.scala @@ -0,0 +1,11 @@ +trait VectorLike[+T, +V[A] <: Vector[A]] { + def +[S, VResult[S] >: V[S]](v: VResult[S]) +} + +trait Vector[+T] extends VectorLike[T, Vector] +trait ImmutableVector[T] extends Vector[T] with VectorLike[T, ImmutableVector] +trait MutableVector[T] extends Vector[T] with VectorLike[T, MutableVector] + +object Test { + def f = (null: MutableVector[Int]) + (null: ImmutableVector[Int]) +} -- cgit v1.2.3