Jens Johansen
4d3d70af23
Kernel sdk version was bumped from 3.6 to 3.12 in https://dart-review.googlesource.com/c/sdk/+/487542 (and to `^3.12.0-0` in https://dart-review.googlesource.com/c/sdk/+/487880) but the source was never formatted. This is, if nothing else, bad for reviews, where editing a file changes the file in lots of places because of new formatting. This CL is the result of running ``` out/ReleaseX64/dart-sdk/bin/dart format pkg/kernel/ ``` but also updates the formatter version used by a source generator (`pkg/front_end/tool/visitor_generator.dart`) so things agree. Change-Id: I66e35d4f1e2d08cecc30fb314546cae78b49e99b Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/490082 Reviewed-by: Chloe Stefantsova <cstefantsova@google.com> Reviewed-by: Johnni Winther <johnniwinther@google.com> Commit-Queue: Jens Johansen <jensj@google.com>
84 lines
3.0 KiB
Dart
84 lines
3.0 KiB
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.
|
|
|
|
import "package:expect/expect.dart" show Expect;
|
|
|
|
import 'package:kernel/ast.dart';
|
|
import 'package:kernel/src/non_null.dart';
|
|
import 'package:kernel/testing/type_parser_environment.dart';
|
|
|
|
const Map<String, String> data = {
|
|
'dynamic': 'dynamic',
|
|
'void': 'void',
|
|
'Null': 'Never',
|
|
'Never': 'Never',
|
|
'Never?': 'Never',
|
|
'Object': 'Object',
|
|
'Object?': 'Object',
|
|
'List<Object>': 'List<Object>',
|
|
'List<Object>?': 'List<Object>',
|
|
'List<Object?>': 'List<Object?>',
|
|
'List<Object?>?': 'List<Object?>',
|
|
'FutureOr<Null>': 'FutureOr<Null>',
|
|
'FutureOr<dynamic>': 'FutureOr<dynamic>',
|
|
'FutureOr<Object>': 'FutureOr<Object>',
|
|
'FutureOr<Object>?': 'FutureOr<Object>',
|
|
'FutureOr<Object?>': 'FutureOr<Object?>',
|
|
'FutureOr<Object?>?': 'FutureOr<Object?>',
|
|
'FutureOr<FutureOr<Object?>>': 'FutureOr<FutureOr<Object?>>',
|
|
'(List<Object>, {required List<Object> a, List<Object> b}) -> List<Object>':
|
|
'(List<Object>, {required List<Object> a, List<Object> b})'
|
|
' -> List<Object>',
|
|
'(List<Object>, {required List<Object> a, List<Object> b}) ->? List<Object>':
|
|
'(List<Object>, {required List<Object> a, List<Object> b})'
|
|
' -> List<Object>',
|
|
'(List<Object>?, {required List<Object?> a, List<Object?>? b})'
|
|
' ->? List<Object?>':
|
|
'(List<Object>?, {required List<Object?> a, List<Object?>? b})'
|
|
' -> List<Object?>',
|
|
'X': 'X & Object',
|
|
'X?': 'X & Object',
|
|
'X_extends_Object': 'X_extends_Object',
|
|
'X_extends_Object?': 'X_extends_Object',
|
|
'X_extends_dynamic': 'X_extends_dynamic',
|
|
'X_extends_dynamic?': 'X_extends_dynamic',
|
|
'X & Object?': 'X & Object',
|
|
'X & dynamic': 'X & dynamic',
|
|
'X & Object': 'X & Object',
|
|
'X? & Object?': 'X & Object',
|
|
'X? & dynamic': 'X & dynamic',
|
|
'X? & Object': 'X? & Object',
|
|
'Y': 'Y & X & Object',
|
|
'Y?': 'Y & X & Object',
|
|
'Y_extends_dynamic': 'Y_extends_dynamic',
|
|
'Y_extends_dynamic?': 'Y_extends_dynamic',
|
|
'Y_extends_dynamic & X': 'Y_extends_dynamic & X & Object',
|
|
'Y_extends_dynamic & X_extends_dynamic?':
|
|
'Y_extends_dynamic & X_extends_dynamic',
|
|
};
|
|
|
|
void main() {
|
|
Env env = new Env('')
|
|
..extendWithTypeParameters(
|
|
'X,'
|
|
'X_extends_Object extends Object,'
|
|
'X_extends_dynamic extends dynamic,'
|
|
'Y extends X,'
|
|
'Y_extends_dynamic extends X_extends_dynamic',
|
|
);
|
|
data.forEach((String input, String output) {
|
|
DartType inputType = env.parseType(input);
|
|
DartType expectedOutputType = env.parseType(output);
|
|
DartType actualOutputType = computeNonNull(inputType);
|
|
print('legacyErasure($inputType) = $actualOutputType: $expectedOutputType');
|
|
Expect.equals(
|
|
expectedOutputType,
|
|
actualOutputType,
|
|
"Unexpected NonNull of $inputType ('$input'):\n"
|
|
"Expected: ${expectedOutputType} ('$output')\n"
|
|
"Actual: ${actualOutputType}",
|
|
);
|
|
});
|
|
}
|