XFAIL typechecker test which leads to a cycle in the requirement machine

meg-gupta · meg-gupta · commit 827caa9fce62 · 2024-11-12T12:05:23.000-08:00
This PR introduces a `mapTypeIntoContext` in `InterfaceTypeRequest::evaluate` which introduces a cycle in this test.
diff --git a/validation-test/compiler_crashers_fixed/28435-swift-genericenvironment-maptypeintocontext.swift b/validation-test/compiler_crashers_fixed/28435-swift-genericenvironment-maptypeintocontext.swift
@@ -6,6 +6,8 @@
 // See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
 
 // RUN: not %target-swift-frontend %s -typecheck
+// REQUIRES: rdar136703549
+
 enum ST:d
 protocol a{typealias d:A.B{
 {

Original file line number	Diff line number	Diff line change
`@@ -6,6 +6,8 @@`
`6`	`6`	`// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors`
`7`	`7`
`8`	`8`	`// RUN: not %target-swift-frontend %s -typecheck`
	`9`	`+// REQUIRES: rdar136703549`
	`10`	`+`
`9`	`11`	`enum ST:d`
`10`	`12`	`protocol a{typealias d:A.B{`
`11`	`13`	`{`