public class Base { | |
public init() {} | |
} | |
public protocol BaseProto { | |
func method() | |
} | |
extension Base : BaseProto { | |
public func method() {} | |
} | |
// Make sure we can serialize witness substitutions where replacement types | |
// involve generic parameters. | |
public class GenericWitness<T> : BaseProto { | |
public func method() {} | |
} |