// Copyright (c) 2020, 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.
//
// Check that we correctly handle FutureOr<T> when computing if a location
// of the given static type can contain Smi or not.
import 'dart:async';

import 'package:expect/expect.dart';

class W<T> {
  final FutureOr<T> v;
  W({this.v});

  @pragma('vm:never-inline')
  bool compare(W<T> o) {
    // We will emit a dispatch table call here which uses LoadClassId
    // instruction to get class id of o. If FutureOr<T> is treated incorrectly
    // then optimizer will assume that v can't be a Smi and remove smi
    // handling from LoadClassId - leading to a crash.
    return this.v == o.v;
  }
}

@pragma('vm:never-inline')
FutureOr<int> make(int v) {
  return v > 0 ? v : Future.value(v);
}

void main(List<String> args) {
  final i0 = args.length == 0 ? 1 : -2;
  final i1 = args.length == 1 ? -3 : 4;
  var w = W(v: make(i0));
  Expect.isTrue(w.compare(W(v: make(i0))));
  Expect.isFalse(w.compare(W(v: make(i1))));
}