mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
5 lines
470 B
Swift
5 lines
470 B
Swift
// {"signature":"swift::CanTypeVisitor<swift::TypeMatcher<(anonymous namespace)::AssociatedTypeInference::getPotentialTypeWitnessesByMatchingTypes(swift::ValueDecl*, swift::ValueDecl*)::MatchVisitor>::MatchVisitor, bool, swift::Type, swift::Type>::visit(swift::CanType, swift::Type, swift::Type)"}
|
|
// RUN: not --crash %target-swift-frontend -typecheck %s
|
|
protocol a { associatedtype b func c(_ : _ d: b }
|
|
extension a { c(_ : _ d: b struct e : a
|