validation-test/compiler_crashers_2_fixed/0024-rdar21551616.swift

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

final class A<X, Y where Y.Z == X> {
  private var y: Y
}