// RUN: %target-swift-frontend -swift-version 4 -O %s -emit-sil | %FileCheck %s

// This test is testing that even in presence of
// RangeReplaceableCollection.filter(_:), Arrays are still calling the default
// implementation from Sequence.

// CHECK-NOT: RangeReplaceableCollection.filter(_:)
@inline(never)
public func foobar(_ xs: [Int]) -> [Int] {
  return xs.filter { _ in false }
}