test/SILOptimizer/Inputs/specialize_opaque_result_types.swift

public protocol Butt {}
extension Int: Butt {}

public func exportsOpaqueReturn() -> some Butt { return 0 }