Merge pull request #38462 from slavapestov/requirement-machine-tests

RequirementMachine: Add a test that used to fail with the GSB

Author: slavapestov

test/Generics/Inputs/rdar79564324_other.swift

@@ -0,0 +1,9 @@
+public protocol P {
+    associatedtype A: P
+}
+
+public func bar<T: P>(from: T) {}
+
+@inlinable public func foo<T, U>(from: T, to: U) where T == T.A, U : P, U.A == T {
+    bar(from: from)
+}

test/Generics/conditional_requirement_inference.swift

@@ -1,4 +1,4 @@
-// RUN: %target-typecheck-verify-swift
+// RUN: %target-typecheck-verify-swift -requirement-machine=on
 // RUN: not %target-swift-frontend -typecheck -debug-generic-signatures -requirement-machine=on %s 2>&1 | %FileCheck %s
 
 

test/Generics/rdar79564324.swift

@@ -0,0 +1,40 @@
+// RUN: %empty-directory(%t)
+// RUN: %target-swift-frontend -emit-module %S/Inputs/rdar79564324_other.swift -emit-module-path %t/rdar79564324_other.swiftmodule -requirement-machine=on -debug-requirement-machine 2>&1 | %FileCheck %s
+// RUN: %target-swift-frontend -emit-silgen %s -I %t -requirement-machine=on
+
+import rdar79564324_other
+
+public func test<T : P>(_ t: T) where T == T.A {
+  foo(from: t, to: t)
+}
+
+// foo(from:to:) has minimal signature <T, U where T == T.A, U : P, T.A == U.A>.
+//
+// The GSB had trouble re-building after deserialization because of the two
+// requirements 'T == T.A' and 'T.A == U.A'.
+//
+// What should happen is that these two imply that 'T == U.A', and 'U : P'
+// implies the existence of 'U.A' and thus the conformance of T to P.
+//
+// Instead what happens is that 'T == T.A' and 'T.A == U.A' both get delayed
+// because T does not yet have a nested type A, so it gets stuck.
+//
+// The rewrite system handles this correctly though:
+
+// CHECK-LABEL: Requirement machine for <τ_0_0, τ_0_1 where τ_0_0 == τ_0_0.A, τ_0_1 : P, τ_0_0.A == τ_0_1.A>
+// CHECK-NEXT: Rewrite system: {
+// CHECK-NEXT: - [P].A => [P:A]
+// CHECK-NEXT: - [P:A].[P] => [P:A]
+// CHECK-NEXT: - τ_0_0.[P:A] => τ_0_0
+// CHECK-NEXT: - τ_0_1.[P] => τ_0_1
+// CHECK-NEXT: - τ_0_1.[P:A] => τ_0_0
+// CHECK-NEXT: - [P:A].A => [P:A].[P:A]
+// CHECK-NEXT: - τ_0_0.[P] => τ_0_0
+// CHECK-NEXT: - τ_0_1.A => τ_0_0
+// CHECK-NEXT: - τ_0_0.A => τ_0_0
+// CHECK-NEXT: }
+// CHECK-NEXT: Equivalence class map: {
+// CHECK-NEXT:   [P:A] => { conforms_to: [P] }
+// CHECK-NEXT:   τ_0_0 => { conforms_to: [P] }
+// CHECK-NEXT:   τ_0_1 => { conforms_to: [P] }
+// CHECK-NEXT: }