opaque_types_and_generic_types.swift

protocol P {
  func aaa() -> Int
}

class Foo: P {
  func aaa() -> Int {
    return 1
  }
}

class Bar: P {
  var a = 1
  func aaa() -> Int {
    return 2
  }
}

@inline(never)
func foo(x: some P, y: some P) -> Int {
  var a = 1000000 + x.aaa() + y.aaa()

  while a > 1 {
    a /= 3
  }

  if (a == 0) {
    return x.aaa()
  } else {
    return y.aaa()
  }
}

@inline(never)
func bar<A: P, B: P>(x: A, y: B) -> Int {
  var a = 1000000 + x.aaa() + y.aaa()

  while a > 1 {
    a /= 3
  }

  if (a == 0) {
    return x.aaa()
  } else {
    return y.aaa()
  }
}

print(foo(x: Foo(), y: Foo()))
print(foo(x: Foo(), y: Bar()))
print(foo(x: Bar(), y: Foo()))
print(foo(x: Bar(), y: Bar()))

print(bar(x: Foo(), y: Foo()))
print(bar(x: Foo(), y: Bar()))
print(bar(x: Bar(), y: Foo()))
print(bar(x: Bar(), y: Bar()))