Files
swift-mirror/test/Constraints/inherited_generic_conformance.swift
2018-07-26 23:13:43 -07:00

12 lines
161 B
Swift

// RUN: %target-typecheck-verify-swift
protocol P {}
class GenericBase<T>: P {}
class Derived: GenericBase<Int> {}
func foo<T: P>(_ x: T) {}
foo(Derived())