// Copyright (c) 2018, 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.

// Ensure that we prepare type variables for inlined redirecting constructor
// calls.

import 'package:expect/expect.dart';

class A<T> {}

class SuperClass<T> {
  var field;

  SuperClass() : this._(new A<T>());

  SuperClass._(this.field);

  m1() => field is A<int>;
  m2() => field is A<String>;
}

class Class extends SuperClass<int> {}

@NoInline()
createClass() => new Class();

main() {
  var c = createClass();
  Expect.isTrue(c.m1());
  Expect.isFalse(c.m2());
}