// Copyright (c) 2022, 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 https://github.com/dart-lang/sdk/issues/49372.
// Verifies that dedup optimization doesn't merge Code from different unit.

// @dart = 2.9

import 'package:expect/expect.dart';
import 'regress_49372_deferred.dart' deferred as lib;

@pragma('vm:never-inline')
int foo() => 10;

@pragma('vm:never-inline')
int bar() => foo() + 7;

void main() async {
  await lib.loadLibrary();
  Expect.equals(12, lib.bar());
  Expect.equals(17, bar());
}