diff options
author | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2016-09-15 16:59:40 +0200 |
---|---|---|
committer | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2016-09-15 17:03:09 +0200 |
commit | 5450507c663bca565b2b61b8afb1073c991c9827 (patch) | |
tree | 034fa122e9ef517626a5b54e3a9f954a08bd9a97 /tests/pos/t1513b.scala | |
parent | 3f3df3d8f7638eb5cca9ae8162f8388373c912c6 (diff) | |
download | dotty-5450507c663bca565b2b61b8afb1073c991c9827.tar.gz dotty-5450507c663bca565b2b61b8afb1073c991c9827.tar.bz2 dotty-5450507c663bca565b2b61b8afb1073c991c9827.zip |
Fix #1513: misaligned by name type parameter type bounds
Diffstat (limited to 'tests/pos/t1513b.scala')
-rw-r--r-- | tests/pos/t1513b.scala | 16 |
1 files changed, 16 insertions, 0 deletions
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) +} |