From 44d0bb2426c23ede04a0f6c5873bdb8567eac5e3 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Tue, 12 Oct 2010 14:24:59 +0000 Subject: closes #3890: propagate inferred type parameter... closes #3890: propagate inferred type parameters to info of undetermined type parameters. review by imaier. --- test/files/pos/t3890.scala | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 test/files/pos/t3890.scala (limited to 'test/files/pos/t3890.scala') diff --git a/test/files/pos/t3890.scala b/test/files/pos/t3890.scala new file mode 100644 index 0000000000..bfc4754779 --- /dev/null +++ b/test/files/pos/t3890.scala @@ -0,0 +1,4 @@ +object Test { + def g[S, T <: S](s: S)(t: T): Unit = println("") + g("a")("a") // error: inferred type arguments [java.lang.String] do not conform to method g's type parameter bounds [T <: S] +} \ No newline at end of file -- cgit v1.2.3