mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
b7d17b25ba
A parse-only option is needed for parse performance tracking and the current option also includes semantic analysis.
42 lines
660 B
Swift
42 lines
660 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
class A { }
|
|
class B : A { }
|
|
class C : B { }
|
|
class D : B { }
|
|
|
|
class E<T> : D { }
|
|
class F<T> : E<[T]> { }
|
|
|
|
var a : A
|
|
var b : B
|
|
var c : C
|
|
var d : D
|
|
var ef : E<Float>
|
|
var fi : F<Int>
|
|
|
|
func f0(_ b : B) {}
|
|
|
|
func ternary<T>(_ cond: Bool,
|
|
_ ifTrue: @autoclosure () -> T,
|
|
_ ifFalse: @autoclosure () -> T) -> T {}
|
|
|
|
f0(c)
|
|
f0(a) // expected-error{{cannot convert value of type 'A' to expected argument type 'B'}}
|
|
f0(ef)
|
|
f0(fi)
|
|
|
|
// FIXME: Test subtyping of class metatypes.
|
|
|
|
_ = ternary(true, ef, c)
|
|
|
|
|
|
class X {
|
|
init() {}
|
|
init(x:Int, y:UnicodeScalar) {}
|
|
}
|
|
|
|
var x0 = X()
|
|
var x1 = X(x: 1, y: "2")
|
|
|