test/Constraints/inherited_generic_conformance.swift - third_party/swift - Git at Google

 // RUN: %target-typecheck-verify-swift

 protocol P {}

 class GenericBase<T>: P {}

 class Derived: GenericBase<Int> {}

 func foo<T: P>(_ x: T) {}

 foo(Derived())
	// RUN: %target-typecheck-verify-swift

	protocol P {}

	class GenericBase<T>: P {}

	class Derived: GenericBase<Int> {}

	func foo<T: P>(_ x: T) {}

	foo(Derived())