// Copyright (c) 2021, 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=--disable-dart-dev --no-inline-alloc --use-slow-path --deoptimize-on-runtime-call-every=1 --deterministic --optimization-counter-threshold=1 --deoptimize-on-runtime-call-name-filter=AllocateObject

main() {
  for (int i = 0; i < 20; ++i) {
    final foo = bar(1);
    if (foo.fun(1) != 3) throw 'a';
    if (foo.fun(2) != 6) throw 'b';
  }
}

@pragma('vm:never-inline')
Foo bar(int a) {
  int b = 1;
  return Foo(a, (int c) {
    return a++ + b++ + c++;
  });
}

class Foo {
  final int value;
  final int Function(int) fun;
  Foo(this.value, this.fun);
}