| // RUN: %target-sil-opt -assume-parsing-unqualified-ownership-sil %s |
| |
| import Builtin |
| import Swift |
| |
| sil @_TF7arrtest6arreltFRVS_1ST_ : $@convention(thin) () -> () { |
| bb0: |
| %15 = witness_method $Int, #Comparable."<="!1 : $@convention(witness_method: Comparable) <τ_0_0 where τ_0_0 : Comparable> (@in τ_0_0, @in τ_0_0, @thick τ_0_0.Type) -> Bool // user: %20 |
| %91 = tuple () // user: %93 |
| return %91 : $() // id: %93 |
| } |
| sil_witness_table public_external Int: Comparable module Swift { |
| base_protocol Equatable: Int: Equatable module Swift |
| } |