mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
0c16c00bb4
Resolving only a structural type meant we weren't checking generic constraints, allowing invalid extensions to get past the type-checker. Change to resolve an interface type.
12 lines
252 B
Swift
12 lines
252 B
Swift
// {"kind":"emit-silgen","signature":"swift::Lowering::SILGenModule::useConformance(swift::ProtocolConformanceRef)"}
|
|
// RUN: not %target-swift-frontend -emit-silgen %s
|
|
protocol a {
|
|
}
|
|
struct b<c: a> {
|
|
}
|
|
extension [b<Int>] {
|
|
func d() {
|
|
first
|
|
}
|
|
}
|