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

// @dart = 2.9

// Test that type variables are passed on from subtypes that fixed the type
// variable in inheritance.

import 'package:expect/expect.dart';

class A<T> {
  B<T> createB() => new B<T>();
}

class NumA extends A<num> {}

class B<T> {
  T value;

  void test(var type, bool expect) {
    Expect.equals(expect, T == type);
  }
}

class StringB extends B<String> {}

class C<T> extends A<T> {}

class IntC extends C<int> {}

void main() {
  testA(); //# 01: ok
  testNumA(); //# 02: ok
  testB(); //# 03: ok
  testStringB(); //# 04: ok
  testC(); //# 05: ok
  testIntC(); //# 06: ok
}

void testA() {
  var instanceA = new A<String>();
  var instanceB = instanceA.createB();
  instanceB.test(num, false);
  instanceB.test(int, false);
  instanceB.test(String, true);
}

void testNumA() {
  var instanceA = new NumA();
  var instanceB = instanceA.createB();
  instanceB.test(num, true);
  instanceB.test(int, false);
  instanceB.test(String, false);
}

void testB() {
  var instanceB = new B<int>();
  instanceB.test(num, false);
  instanceB.test(int, true);
  instanceB.test(String, false);
}

void testStringB() {
  var instanceB = new StringB();
  instanceB.test(num, false);
  instanceB.test(int, false);
  instanceB.test(String, true);
}

void testC() {
  var instanceA = new C<String>();
  var instanceB = instanceA.createB();
  instanceB.test(num, false);
  instanceB.test(int, false);
  instanceB.test(String, true);
}

void testIntC() {
  var instanceA = new IntC();
  var instanceB = instanceA.createB();
  instanceB.test(num, false);
  instanceB.test(int, true);
  instanceB.test(String, false);
}