// RUN: %target-swift-frontend -emit-silgen -enable-sil-ownership -verify %s | |
protocol AP { | |
associatedtype B: BP | |
var b: B { get } | |
} | |
protocol BP {} | |
func foo<A: AP>(x: A) -> A { | |
func bar<B: BP>(x: B) { | |
} | |
func bas<B: BP>(x: B) { | |
bar(x: x) | |
} | |
func bang() -> A { return x } | |
func bong(_: A) {} | |
let x = bang() | |
bong(x) | |
} |