// RUN: %target-swift-frontend -swift-version 4 %s -typecheck -o /dev/null

// This should actually type check successfully.

protocol P {
  associatedtype T
}

protocol Q1 : P {
  typealias T = Int

  func f(_: T)
}

protocol Q2 : P {
  associatedtype T where T == Int

  func f(_: T)
}