import Swift
protocol P0 {}
enum GenericEnum2<T> {
  case Y(T)
}
sil public_external @generic_indirect_return2 : $@convention(thin) <T> (Int) -> @owned GenericEnum2<T>
sil @partial_apply_generic_indirect_return2 : $@convention(thin) (Int) -> @callee_owned () -> @owned GenericEnum2<Int> {
  bb0(%0 : $Int):
  %fn = function_ref @generic_indirect_return2 :$@convention(thin) <T> (Int) -> @owned GenericEnum2<T>
  %pa = partial_apply %fn<Int> (%0) : $@convention(thin) <T> (Int) -> @owned GenericEnum2<T>
  return %pa : $@callee_owned () -> @owned GenericEnum2<Int>
}

/Users/davide/swift/build/Ninja-DebugAssert/swift-macosx-x86_64/bin/swift -frontend -target x86_64-apple-macosx10.9 red.sil -emit-ir -assume-parsing-unqualified-ownership-sil -o /dev/null -sil-verify-all