From 5450507c663bca565b2b61b8afb1073c991c9827 Mon Sep 17 00:00:00 2001 From: Olivier Blanvillain Date: Thu, 15 Sep 2016 16:59:40 +0200 Subject: Fix #1513: misaligned by name type parameter type bounds --- tests/pos/t1513b.scala | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 tests/pos/t1513b.scala (limited to 'tests/pos/t1513b.scala') diff --git a/tests/pos/t1513b.scala b/tests/pos/t1513b.scala new file mode 100644 index 000000000..881187be0 --- /dev/null +++ b/tests/pos/t1513b.scala @@ -0,0 +1,16 @@ +object Test { + def f[T1 <: String, T2 <: Int, T3 <: Boolean](a1: T1, a2: T2, a3: T3) = () + + f ("", 1, true) + f[T1 = String] ("", 1, true) + f[T2 = Int] ("", 1, true) + f[T3 = Boolean] ("", 1, true) + f[T1 = String, T2 = Int] ("", 1, true) + f[T1 = String, T3 = Boolean] ("", 1, true) + f[T2 = Int, T1 = String] ("", 1, true) + f[T2 = Int, T3 = Boolean] ("", 1, true) + f[T3 = Boolean, T2 = Int] ("", 1, true) + f[T3 = Boolean, T1 = String] ("", 1, true) + f[T1 = String, T2 = Int, T3 = Boolean]("", 1, true) + f[String, Int, Boolean] ("", 1, true) +} -- cgit v1.2.3