aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/t1513b.scala
blob: 5466493838902ce403abeb7f5539c8210f43ce87 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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[T1 = String,  T3 = Boolean, T2 = Int]    ("", 1, true)
  f[T2 = Int,     T1 = String,  T3 = Boolean]("", 1, true)
  f[T2 = Int,     T3 = Boolean, T1 = String] ("", 1, true)
  f[T3 = Boolean, T1 = String,  T2 = Int]    ("", 1, true)
  f[T3 = Boolean, T2 = Int,     T1 = String] ("", 1, true)
  f[String,       Int,          Boolean]     ("", 1, true)
}