// RUN: %target-typecheck-verify-swift
// RUN: %target-typecheck-verify-swift -debug-generic-signatures > %t.dump 2>&1
// RUN: %FileCheck %s < %t.dump

protocol P {
  associatedtype Assoc : P

  var assoc: Assoc { get }
}

func testP<T: P>(_ t: T) {
  testP(t.assoc)
  testP(t.assoc.assoc)
  testP(t.assoc.assoc.assoc)
  testP(t.assoc.assoc.assoc.assoc.assoc.assoc.assoc)
}

// https://github.com/apple/swift/issues/48057

protocol P1 {
  associatedtype X : P2
}

// CHECK-LABEL: .P2@
// CHECK: Requirement signature: <Self where Self == Self.[P2]Y.[P1]X, Self.[P2]Y : P1, Self.[P2]Z : P1>
protocol P2 {
  associatedtype Y : P1 where Y.X == Self
  associatedtype Z : P1
}

// https://github.com/apple/swift/issues/48045

protocol P3 {
	associatedtype X : P4
}

// CHECK-LABEL: .P4@
// CHECK: Requirement signature: <Self where Self == Self.[P4]Y.[P3]X, Self.[P4]Y : P3, Self.[P4]Z : P3, Self.[P4]Y.[P3]X == Self.[P4]Z.[P3]X>
protocol P4 {
	associatedtype Y: P3 where Y.X == Self
	associatedtype Z: P3 where Z.X == Self
}

protocol P5 {
  associatedtype X : P5
    where X.X == X
}

// CHECK-LABEL: .P6@
// CHECK: Requirement signature: <Self where Self : P5, Self.[P6]Y : P5>
protocol P6 : P5 {
  associatedtype Y : P5
}

// CHECK: Generic signature: <Self where Self : P6, Self.[P5]X == Self.[P6]Y.[P5]X>
extension P6 where X == Y.X { }

// https://github.com/apple/swift/issues/48173

protocol P7 {
    associatedtype X: P9 where X.Q == Self, X.R == UInt8
    associatedtype Y: P9 where Y.Q == Self, Y.R == UInt16
    // NOTE: Removing either X or Y from P7 (and A7) makes the program compile.
}
struct A7: P7 {
    typealias X = S9<UInt8>
    typealias Y = S9<UInt16>
}
protocol P8 { }
protocol P9 : P8 { // NOTE: Removing ": P8 " here makes the program compile.
    associatedtype Q: P7
    associatedtype R
}
struct S9<E> : P9 {
    typealias R = E
    typealias Q = A7
}

// https://github.com/apple/swift/issues/48180

protocol P10 {
  associatedtype X : P11 where X.Q == Self
}
protocol P11 {
  associatedtype Q : P10

  // CHECK-LABEL: .P11.map@
  // CHECK: Generic signature: <Self, T where Self : P11, T : P11, Self.[P11]Q == T.[P11]Q>
  func map<T>(_: T.Type) where T : P11, Q == T.Q
}

// Redundances within a requirement signature.
protocol P12 { }

// CHECK-LABEL: .P13@
// CHECK: Requirement signature: <Self where Self.[P13]AT1 : P12, Self.[P13]AT1 == Self.[P13]AT2.[P13]AT1, Self.[P13]AT2 : P13>
protocol P13 {
  associatedtype AT1 : P12
  associatedtype AT2: P13 where AT2.AT1 == AT1
}