| // RUN: %target-swift-frontend -emit-sil -verify %s | %FileCheck %s | |
| // CHECK: function_ref @$SSlsE9dropFirsty11SubSequenceQzSiF : $@convention(method) <τ_0_0 where τ_0_0 : Collection> (Int, @in_guaranteed τ_0_0) -> @out τ_0_0.SubSequence | |
| _ = [1, 2, 3].dropFirst(1).dropFirst(1) |