blob: 8ac518d95398bd42ff85ae1fc2820ba38dac8b9f [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.
// @dart = 2.7
// Regression test for http://dartbug.com/27199 in --checked mode.
// Typedefs must be unaliased at some point before codegen to have the correct
// number of references. The unaliased type of ItemListFilter<T> has two
// references to T: (Iterable<T>) -> Iterable<T>.
import 'package:expect/expect.dart';
typedef Iterable<T> ItemListFilter<T>(Iterable<T> items);
class C<T> {
Map<String, ItemListFilter<T>> f = {};
}
@pragma('dart2js:noInline')
@pragma('dart2js:assumeDynamic')
confuse(x) => x;
main() {
dynamic c = new C();
dynamic a = 12;
if (confuse(true)) a = <String, ItemListFilter>{};
c.f = a;
}