Files
swift-mirror/test/Generics/redundant_protocol_inheritance_via_concrete.swift
2022-05-10 12:56:17 -04:00

9 lines
274 B
Swift

// RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures 2>&1 | %FileCheck %s
protocol P {}
class C : P {}
// CHECK-LABEL: redundant_protocol_inheritance_via_concrete.(file).Q@
// CHECK-NEXT: Requirement signature: <Self where Self : C>
protocol Q : P, C {}