File tree Expand file tree Collapse file tree 1 file changed +20
-0
lines changed
validation-test/compiler_crashers_2_fixed Expand file tree Collapse file tree 1 file changed +20
-0
lines changed Original file line number Diff line number Diff line change
1
+ // RUN: %target-swift-frontend -typecheck %s
2
+
3
+ protocol AuthenticationFlowStateMachine {
4
+ associatedtype StartState : AuthenticationFlowStateMachineStartState where StartState. StateMachine == Self
5
+ associatedtype NonFinalState : AuthenticationFlowStateMachineNonFinalState where NonFinalState. StateMachine == Self
6
+ associatedtype FlowError : AuthenticationFlowStateMachineFlowError where FlowError. StateMachine == Self
7
+ }
8
+
9
+ protocol AuthenticationFlowStateMachineFlowError : Error {
10
+ associatedtype StateMachine : AuthenticationFlowStateMachine where StateMachine. FlowError == Self
11
+ }
12
+
13
+ protocol AuthenticationFlowStateMachineStartState {
14
+ associatedtype StateMachine : AuthenticationFlowStateMachine where StateMachine. StartState == Self
15
+ var nonFinalState : StateMachine . NonFinalState { get }
16
+ }
17
+
18
+ protocol AuthenticationFlowStateMachineNonFinalState {
19
+ associatedtype StateMachine : AuthenticationFlowStateMachine where StateMachine. NonFinalState == Self
20
+ }
You can’t perform that action at this time.
0 commit comments