// Copyright (c) 2016, 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.
//
// VMOptions=--enable_asserts --optimization-counter-threshold=10 --no-background-compilation

// @dart = 2.9

import 'package:expect/expect.dart';
import 'regress_27671_other.dart';

@pragma('vm:prefer-inline')
bounce(x) {
  for (int i = 0; i < 10; i++) {
    check(f, x);
  }
}

@pragma('vm:prefer-inline')
bool f(y) => y > 0;

main() {
  for (int i = 0; i < 100; i++) {
    bounce(1);
  }
  try {
    bounce(-1);
  } catch (e) {
    Expect.isTrue(e.toString().contains('f(x) && true'));
  }
}