| // RUN: %empty-directory(%t) |
| // RUN: %target-swift-frontend -enable-implicit-dynamic -disable-availability-checking -emit-module-path %t/OpaqueCrossFileB.swiftmodule -module-name OpaqueCrossFileB %S/Inputs/OpaqueCrossFileB.swift |
| // RUN: %target-swift-frontend -enable-implicit-dynamic -disable-availability-checking -I %t -emit-ir -verify %s | %FileCheck %s |
| |
| import OpaqueCrossFileB |
| |
| dump(anyFoo()) |
| dump(anyFooProp) |
| dump(Subscript()[]) |
| |
| public struct UsesAdapterMethod: Foo { |
| // Ensure that the mangling of the result type of adaptFoo correctly captures |
| // both the Self type and the parameter type. |
| // CHECK: @"symbolic _____y______SdQo_ 16OpaqueCrossFileB3FooPAAE8identityyQrqd__lFQO 17opaque_cross_file17UsesAdapterMethodV" = |
| public func adaptFoo(_ d: Double) -> some Foo { |
| return identity(d) |
| } |
| } |