[Constraint System] Fix the shape class and context substitiutions for

hborla · simanerush · commit e19aadc76da8 · 2024-07-15T10:19:32.000-07:00
opened element generic environments containing same-element requirements.
diff --git a/test/Constraints/pack-expansion-expressions.swift b/test/Constraints/pack-expansion-expressions.swift
@@ -63,8 +63,7 @@ func outerArchetype<each T, U>(t: repeat each T, u: U) where repeat each T: P {
 }
 
 func sameElement<each T, U>(t: repeat each T, u: U) where repeat each T: P, repeat each T == U {
-  // FIXME
-//  let _: (repeat each T) = (repeat (each t).f(u))
+  let _ = (repeat (each t).f(u))
 }
 
 func forEachEach<each C, U>(c: repeat each C, function: (U) -> Void)

Original file line number	Diff line number	Diff line change
`@@ -63,8 +63,7 @@ func outerArchetype<each T, U>(t: repeat each T, u: U) where repeat each T: P {`
`63`	`63`	`}`
`64`	`64`
`65`	`65`	`func sameElement<each T, U>(t: repeat each T, u: U) where repeat each T: P, repeat each T == U {`
`66`		`- // FIXME`
`67`		`-// let _: (repeat each T) = (repeat (each t).f(u))`
	`66`	`+ let _ = (repeat (each t).f(u))`
`68`	`67`	`}`
`69`	`68`
`70`	`69`	`func forEachEach<each C, U>(c: repeat each C, function: (U) -> Void)`