Skip to content

Commit 27d47a9

Browse files
committed
IRGen: Shuffle self value for witness method partial applications
Update previous commit's test case for 3.0 difference in substitution list handling
1 parent 7ff025e commit 27d47a9

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

test/IRGen/partial_apply_forwarder.sil

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -15,10 +15,10 @@ public protocol Observer {
1515
associatedtype Result
1616
}
1717

18-
sil hidden @witness_method : $@convention(thin) <S where S : Observable><O where O : Observer, S.Result == O.Result> (@in S) -> @owned @callee_owned (@in O) -> () {
18+
sil hidden @witness_method : $@convention(thin) <S where S : Observable><O where O : Observer, O.Result == S.Result> (@in S) -> @owned @callee_owned (@in O) -> () {
1919
bb0(%0 : $*S):
20-
%1 = witness_method $S, #Observable.subscribe!1 : $@convention(witness_method) <τ_0_0 where τ_0_0 : Observable><τ_1_0 where τ_1_0 : Observer, τ_0_0.Result == τ_1_0.Result> (@in τ_1_0, @in_guaranteed τ_0_0) -> ()
21-
%2 = partial_apply %1<S, O, S.Result>(%0) : $@convention(witness_method) <τ_0_0 where τ_0_0 : Observable><τ_1_0 where τ_1_0 : Observer, τ_0_0.Result == τ_1_0.Result> (@in τ_1_0, @in_guaranteed τ_0_0) -> ()
20+
%1 = witness_method $S, #Observable.subscribe!1 : $@convention(witness_method) <τ_0_0 where τ_0_0 : Observable><τ_1_0 where τ_1_0 : Observer, τ_1_0.Result == τ_0_0.Result> (@in τ_1_0, @in_guaranteed τ_0_0) -> ()
21+
%2 = partial_apply %1<S, S.Result, O>(%0) : $@convention(witness_method) <τ_0_0 where τ_0_0 : Observable><τ_1_0 where τ_1_0 : Observer, τ_1_0.Result == τ_0_0.Result> (@in τ_1_0, @in_guaranteed τ_0_0) -> ()
2222
return %2 : $@callee_owned (@in O) -> ()
2323
}
2424

0 commit comments

Comments
 (0)