Language/Generics/Superbounded_types/class_A05_t01.dart

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

/// Types of members from super-bounded class types are computed using the same
/// rules as types of members from other types. Types of function applications
/// involving super-bounded types are computed using the same rules as types of
/// function applications involving other types. Here is an example:
///   class A<X extends num> {
///     X x;
///    }
///    A<Object> a;
///    With this, [a.x] has static type Object, even though the upper bound on
///    the type variable X is num.
/// @description Checks that example from the Spec works correctly.
/// @Issue 36959, 42415
/// @author iarkh@unipro.ru


class A<X extends num> {
  X? x;
}

A? a1;
A<dynamic>? a2;
A<Object?>? a3;
A<void>? a4;

main() {
  A a1;
  A<dynamic> a2;
  A<Object?> a3;
  A<void> a4;
}