// RUN: %target-swift-frontend -emit-sil -verify %s | %FileCheck %s | |
extension Collection { | |
func foo() { | |
// CHECK: witness_method $Self.Indices, #Sequence.dropFirst!1 : <Self where Self : Sequence> (Self) -> (Int) -> Self.SubSequence : $@convention(witness_method: Sequence) <τ_0_0 where τ_0_0 : Sequence> (Int, @in_guaranteed τ_0_0) -> @out τ_0_0.SubSequence | |
_ = zip(indices, indices.dropFirst(3)) | |
} | |
} |