// Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// Regression test for http://dartbug.com/23804
//
// Inference incorrectly assumed that `any` and `every` didn't escape the values
// in the collections.

import 'package:expect/expect.dart';

test(n) => n == 1;
bool run(f(dynamic)) => f(1);
main() {
  Expect.equals([test].any(run), true);
}