validation-test/compiler_crashers_2_fixed/0171-sr-8642.swift

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

protocol P {}
protocol Q {}
class A : P {}
class B : A {}

struct A<T:B> {
  var x: T { fatalError("death") }
}