// 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.

/// @assertion We infer the type of a parameter declaration, p, of a
/// non-redirecting generative constructor, C, as:
/// ...
/// Otherwise the inferred type of the parameter is dynamic
///
/// @description Check that the inferred type of the parameter is dynamic if
/// there is no information about the parameter type
/// @author sgrekhov@unipro.ru

import "../../Utils/expect.dart";

class S<T> {
  var x;
  T? t;
  S([this.x, this.t]);
}

class C<T> extends S<T> {
  C([super.x, super.t]);
}

testType(String s) {}

test(var v) {
  var c = C(v, v);
  Expect.throws(() {
    testType(c.x);
  });
  Expect.throws(() {
    testType(c.t as dynamic);
  });
}

main() {
  test(42);
}