blob: b2d2fd5406ff1e67566a31d50ab660aa6003a106 [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.
// Regression test for 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 = {};
confuse(x) => x;
main() {
dynamic c = new C();
dynamic a = 12;
if (confuse(true)) a = <String, ItemListFilter>{};
c.f = a;