NNBD: Default type bound of the generic type parameter is incorrect in runtime: it's dynamic instead of Object?

[iarkh]

Dart VM version: 2.8.0-edge.40f23c735f04433e4fc334fbd674474bd3de0f8b (Tue Jan 28 01:14:48 2020 +0000) on "linux_x64"

NNBD Spec reads:

The default bound of generic type parameters is treated as Object?.
However, currently this is not so.
Please run the following code:

class A<T> {}
main() {
  print(A);
}

It prints A<dynamic> whereas it should be A<Object?>:

iarkh@med:~/dart/dart-sdk/sdk/tests/co191/src/LanguageFeatures/nnbd$ dart --enable-experiment=non-nullable test.dart
A

[eernstg]

I2b should actually still compute the value dynamic for such type arguments, cf. #40368 (comment).

[crelier]

Closing as working as intended.