mirror of
https://github.com/apple/swift.git
synced 2026-02-27 18:26:24 +01:00
13023de4c4
Filter out any duplicate notes to help cut down on the noise for request cycle diagnostics. Some of the note locations here still aren't great, but this at least stops us from repeating them for each intermediate request.
22 lines
884 B
Swift
22 lines
884 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
// We used to crash -- https://github.com/apple/swift/issues/69318
|
|
|
|
public protocol View {
|
|
associatedtype NodeChildren: ViewGraphNodeChildren
|
|
}
|
|
|
|
public protocol ViewGraphNodeChildren {
|
|
associatedtype ParentView: View where ParentView.NodeChildren == Self
|
|
// expected-note@-1 {{protocol requires nested type 'ParentView'}}
|
|
}
|
|
|
|
public protocol ChildlessView: View where NodeChildren == EmptyViewGraphNodeChildren<Self> {}
|
|
// expected-error@-1 {{circular reference}}
|
|
|
|
public struct EmptyViewGraphNodeChildren<ParentView: ChildlessView>: ViewGraphNodeChildren {}
|
|
// expected-note@-1:15 {{through reference here}}
|
|
// expected-note@-2:70 {{through reference here}}
|
|
// expected-error@-3 {{type 'EmptyViewGraphNodeChildren<ParentView>' does not conform to protocol 'ViewGraphNodeChildren'}}
|
|
// expected-note@-4 {{add stubs for conformance}}
|