assoc_type_inference_cycle.swift

// RUN: %target-typecheck-verify-swift
// RUN: %target-swift-frontend -emit-silgen %s -parse-as-library -module-name Test -experimental-lazy-typecheck

// This file should type check successfully.

// rdar://117442510
public protocol P1 {
  associatedtype Value

  func makeValue() -> Value
  func useProducedValue(_ produceValue: () -> Value)
}

public struct S1: P1 {
  public func makeValue() -> Int { return 1 }
  public func useProducedValue(_ produceValue: () -> Value) {
    _ = produceValue()
  }
}

// rdar://56672411
public protocol P2 {
  associatedtype X = Int
  func foo(_ x: X)
}

public struct S2: P2 {
  public func bar(_ x: X) {}
  public func foo(_ x: X) {}
}

// https://github.com/apple/swift/issues/57355
public protocol P3 {
  associatedtype T
  var a: T { get }
  var b: T { get }
  var c: T { get }
}

public struct S3: P3 {
  public let a: Int
  public let b: T
  public let c: T
}