mirror of
https://github.com/dart-lang/sdk
synced 2024-10-14 09:58:32 +00:00
[ddc] Fix variance test migration to null safety
Change-Id: I5f6e446c72ae1a41d92f419eb57a8dd030a70372 Issue: https://github.com/dart-lang/sdk/issues/42107 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/154292 Reviewed-by: Leaf Petersen <leafp@google.com> Commit-Queue: Nicholas Shahan <nshahan@google.com>
This commit is contained in:
parent
b6773035ba
commit
461d01cd80
|
@ -43,17 +43,17 @@ void main() {
|
|||
// Invariant<Middle> <: Invariant<Middle>
|
||||
checkSubtype(typeRep<Invariant<Middle>>(), typeRep<Invariant<Middle>>());
|
||||
|
||||
// Invariant<dynamic> <:> Invariant<Object>
|
||||
// Invariant<dynamic> <:> Invariant<Object?>
|
||||
checkMutualSubtype(
|
||||
typeRep<Invariant<dynamic>>(), typeRep<Invariant<Object>>());
|
||||
typeRep<Invariant<dynamic>>(), typeRep<Invariant<Object?>>());
|
||||
|
||||
// Invariant<FutureOr<dynamic>> <:> Invariant<dynamic>
|
||||
checkMutualSubtype(
|
||||
typeRep<Invariant<FutureOr<dynamic>>>(), typeRep<Invariant<dynamic>>());
|
||||
|
||||
// Invariant<FutureOr<Null>> <:> Invariant<Future<Null>>
|
||||
// Invariant<FutureOr<Null>> <:> Invariant<Future<Null>?>
|
||||
checkMutualSubtype(
|
||||
typeRep<Invariant<FutureOr<Null>>>(), typeRep<Invariant<Future<Null>>>());
|
||||
typeRep<Invariant<FutureOr<Null>>>(), typeRep<Invariant<Future<Null>?>>());
|
||||
|
||||
// LegacyCovariant<Lower> <: LegacyCovariant<Middle>
|
||||
checkProperSubtype(
|
||||
|
|
Loading…
Reference in a new issue