constrained_optional_params.swift
// RUN: %target-typecheck-verify-swift
protocol P {
func method() -> Int
}
func address_only_bind<T: P>(x: T?) -> Int {
let y = x!.method()
return y
}
// RUN: %target-typecheck-verify-swift
protocol P {
func method() -> Int
}
func address_only_bind<T: P>(x: T?) -> Int {
let y = x!.method()
return y
}