blob: d07da2adc3cfc5c3318db0508e484a8184c35ccf [file] [log] [blame]
// Copyright (c) 2016, 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:kernel/kernel.dart';
import 'package:kernel/type_algebra.dart';
import 'type_parser.dart';
import 'type_unification_test.dart' show testCases;
import 'package:test/test.dart';
checkType(DartType type) {
var map = {new TypeParameter(): const DynamicType()};
var other = substitute(type, map);
if (!identical(type, other)) {
fail('Identity substitution test failed for $type');
other = Substitution.fromUpperAndLowerBounds(map, map).substituteType(type);
if (!identical(type, other)) {
fail('Identity bounded substitution test failed for $type');
main() {
for (var testCase in testCases) {
test('$testCase', () {
var env = new LazyTypeEnvironment();