validation-test/compiler_crashers_2_fixed/0179-rdar44963974.swift

// RUN: not %target-swift-frontend -typecheck %s

protocol P {
  associatedtype M
}

struct S<M> {}

extension S: P where Self.M == P.M {}