class A { func foo() { } } class B <T> : A { override func foo(x: Any) { if let t = cast(x, T.self) { ... } } } func f(a: A) { a.foo() }

(edited)

8:45 AM

↑こんな感じだったら、関数fのコンパイル時には決定しないです