mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
cdb38c1e97
Use the same infrastructure we have for same-type-to-concrete constraints to check superclass constraints. Specifically, * Track all superclass constraints; never "update" a requirement source * Remove self-derived superclass constraints * Pick the best superclass constraint within each connected component of an equivalence class and use that for requirement generation. * Diagnose conflicting superclass requirements during finalization * Diagnose redundant superclass requirements (during finalization)
120 lines
4.3 KiB
Swift
120 lines
4.3 KiB
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
// RUN: %target-typecheck-verify-swift -typecheck -debug-generic-signatures %s > %t.dump 2>&1
|
|
// RUN: %FileCheck %s < %t.dump
|
|
|
|
class A {
|
|
func foo() { }
|
|
}
|
|
|
|
class B : A {
|
|
func bar() { }
|
|
}
|
|
|
|
class Other { }
|
|
|
|
func f1<T : A>(_: T) where T : Other {} // expected-error{{generic parameter 'T' cannot be a subclass of both 'Other' and 'A'}}
|
|
// expected-note@-1{{superclass constraint 'T' : 'A' written here}}
|
|
|
|
func f2<T : A>(_: T) where T : B {}
|
|
// expected-warning@-1{{redundant superclass constraint 'T' : 'A'}}
|
|
// expected-note@-2{{superclass constraint 'T' : 'B' written here}}
|
|
|
|
|
|
class GA<T> {}
|
|
class GB<T> : GA<T> {}
|
|
|
|
protocol P {}
|
|
|
|
func f3<T, U>(_: T, _: U) where U : GA<T> {}
|
|
func f4<T, U>(_: T, _: U) where U : GA<T> {}
|
|
func f5<T, U : GA<T>>(_: T, _: U) {}
|
|
func f6<U : GA<T>, T : P>(_: T, _: U) {}
|
|
func f7<U, T>(_: T, _: U) where U : GA<T>, T : P {}
|
|
|
|
func f8<T : GA<A>>(_: T) where T : GA<B> {} // expected-error{{generic parameter 'T' cannot be a subclass of both 'GA<B>' and 'GA<A>'}}
|
|
// expected-note@-1{{superclass constraint 'T' : 'GA<A>' written here}}
|
|
|
|
func f9<T : GA<A>>(_: T) where T : GB<A> {}
|
|
// expected-warning@-1{{redundant superclass constraint 'T' : 'GA<A>'}}
|
|
// expected-note@-2{{superclass constraint 'T' : 'GB<A>' written here}}
|
|
|
|
func f10<T : GB<A>>(_: T) where T : GA<A> {}
|
|
// expected-warning@-1{{redundant superclass constraint 'T' : 'GA<A>'}}
|
|
// expected-note@-2{{superclass constraint 'T' : 'GB<A>' written here}}
|
|
|
|
func f11<T : GA<T>>(_: T) { } // expected-error{{superclass constraint 'T' : 'GA<T>' is recursive}}
|
|
func f12<T : GA<U>, U : GB<T>>(_: T, _: U) { } // expected-error{{superclass constraint 'U' : 'GB<T>' is recursive}} // expected-error{{superclass constraint 'T' : 'GA<U>' is recursive}}
|
|
func f13<T : U, U : GA<T>>(_: T, _: U) { } // expected-error{{inheritance from non-protocol, non-class type 'U'}}
|
|
|
|
// rdar://problem/24730536
|
|
// Superclass constraints can be used to resolve nested types to concrete types.
|
|
|
|
protocol P3 {
|
|
associatedtype T
|
|
}
|
|
|
|
protocol P2 {
|
|
associatedtype T : P3
|
|
}
|
|
|
|
class C : P3 {
|
|
typealias T = Int
|
|
}
|
|
|
|
class S : P2 {
|
|
typealias T = C
|
|
}
|
|
|
|
extension P2 where Self.T : C {
|
|
// CHECK: superclass_constraint.(file).P2.concreteTypeWitnessViaSuperclass1
|
|
// CHECK: Generic signature: <Self where Self : P2, Self.T : C>
|
|
// CHECK: Canonical generic signature: <τ_0_0 where τ_0_0 : P2, τ_0_0.T : C>
|
|
func concreteTypeWitnessViaSuperclass1(x: Self.T.T) {}
|
|
}
|
|
|
|
// CHECK: superclassConformance1
|
|
// CHECK: Requirements:
|
|
// CHECK-NEXT: τ_0_0 : C [τ_0_0: Explicit @ {{.*}}:46]
|
|
// CHECK-NEXT: τ_0_0 : P3 [τ_0_0: Explicit @ {{.*}}:46 -> Superclass (C: P3)]
|
|
// CHECK: Canonical generic signature: <τ_0_0 where τ_0_0 : C>
|
|
func superclassConformance1<T>(t: T) where T : C, T : P3 {}
|
|
|
|
// CHECK: superclassConformance2
|
|
// CHECK: Requirements:
|
|
// CHECK-NEXT: τ_0_0 : C [τ_0_0: Explicit @ {{.*}}:46]
|
|
// CHECK-NEXT: τ_0_0 : P3 [τ_0_0: Explicit @ {{.*}}:46 -> Superclass (C: P3)]
|
|
// CHECK: Canonical generic signature: <τ_0_0 where τ_0_0 : C>
|
|
func superclassConformance2<T>(t: T) where T : C, T : P3 {}
|
|
|
|
protocol P4 { }
|
|
|
|
class C2 : C, P4 { }
|
|
|
|
// CHECK: superclassConformance3
|
|
// CHECK: Requirements:
|
|
// CHECK-NEXT: τ_0_0 : C2 [τ_0_0: Explicit @ {{.*}}:46]
|
|
// CHECK-NEXT: τ_0_0 : P4 [τ_0_0: Explicit @ {{.*}}:61 -> Superclass (C2: P4)]
|
|
// CHECK: Canonical generic signature: <τ_0_0 where τ_0_0 : C2>
|
|
func superclassConformance3<T>(t: T) where T : C, T : P4, T : C2 {}
|
|
// expected-warning@-1{{redundant superclass constraint 'T' : 'C'}}
|
|
// expected-note@-2{{superclass constraint 'T' : 'C2' written here}}
|
|
|
|
protocol P5: A { } // expected-error{{non-class type 'P5' cannot inherit from class 'A'}}
|
|
|
|
protocol P6: A, Other { } // expected-error{{protocol 'P6' cannot be a subclass of both 'Other' and 'A'}}
|
|
// expected-error@-1{{non-class type 'P6' cannot inherit from class 'A'}}
|
|
// expected-error@-2{{non-class type 'P6' cannot inherit from class 'Other'}}
|
|
// expected-note@-3{{superclass constraint 'Self' : 'A' written here}}
|
|
|
|
func takeA(_: A) { }
|
|
func takeP5<T: P5>(_ t: T) {
|
|
takeA(t) // okay
|
|
}
|
|
|
|
protocol P7 { // expected-error{{'Self.Assoc' cannot be a subclass of both 'Other' and 'A'}}
|
|
associatedtype Assoc: A, Other
|
|
// FIXME: expected-error@-1{{multiple inheritance from classes 'A' and 'Other'}}
|
|
// FIXME weird location: expected-note@-3{{superclass constraint 'Self.Assoc' : 'A' written here}}
|
|
}
|