averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #84745 from hamishknight/fishmonger

Browse Source 
[Evaluator] Enforce consistent results for cyclic requests
This commit is contained in:
Hamish Knight
2025-10-09 17:08:04 +01:00
committed by GitHub
parent b9fd3e4604 2ce7f1c3bb
commit a83ea3c8bb
25 changed files with 187 additions and 151 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
test/Constraints/same_types.swift
View File

@@ -282,15 +282,11 @@ protocol P2 {
}
// CHECK-LABEL: same_types.(file).structuralSameTypeRecursive1@
// CHECK-NEXT: Generic signature: <T, U>
// CHECK-NEXT: Generic signature: <T, U where T == <<error type>>, U == <<error type>>>
// expected-error@+2 {{cannot build rewrite system for generic signature; concrete type nesting limit exceeded}}
// expected-note@+1 {{τ_0_0.[P2:Assoc1].[concrete: ((((((((((((((((((((((((((((((((τ_0_0.[P2:Assoc1], τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1), τ_0_1)] => τ_0_0.[P2:Assoc1]}}
func structuralSameTypeRecursive1<T: P2, U>(_: T, _: U)
where T.Assoc1 == Tuple2<T.Assoc1, U>
// expected-error@-1 {{'Assoc1' is not a member type of type 'T'}}
// expected-error@-2 {{'Assoc1' is not a member type of type 'T'}}
{ }
func structuralSameTypeRecursive1<T: P2, U>(_: T, _: U) where T.Assoc1 == Tuple2<T.Assoc1, U> {}
protocol P3 {
}