blob: f8c9344117c006770d20416b7f59e12478b8aad4 [file] [log] [blame]
// Copyright (c) 2018, 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.
/*kernel.class: A:*/
/*strong.class: A:implicit=[A]*/
/*omit.class: A:implicit=[A]*/
abstract class A {}
class B implements A {}
/*kernel.class: C:
deps=[lookup],
explicit=[C<lookup.T>]
*/
/*strong.class: C:
deps=[lookup],
explicit=[C<lookup.T>,Map<String,C>],
implicit=[C],
needsArgs
*/
/*omit.class: C:
deps=[lookup],explicit=[C<lookup.T>],
needsArgs
*/
class C<T> {}
final Map<String, C> map = {};
void setup() {
map['x'] = new C<B>();
}
/*kernel.element: lookup:direct,explicit=[C<lookup.T>]*/
/*strong.element: lookup:direct,explicit=[C<lookup.T>],needsArgs*/
/*omit.element: lookup:direct,explicit=[C<lookup.T>],needsArgs*/
C<T> lookup<T>(String key) {
final value = map[key];
if (value != null && value is C<T>) {
return value;
}
throw 'Invalid C value for $key: ${value}';
}
void lookupA() {
lookup<A>('x');
}
main() {
setup();
lookupA();
}