// 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.

import 'package:expect/expect.dart';

/*member: A.:hasThis*/
class A<T> {
  /*member: A.method:hasThis*/
  @pragma('dart2js:noInline')
  method() {
    /*fields=[this],free=[this],hasThis*/
    dynamic local() => <T, int>{};
    return local;
  }

  /*member: A.methodNullable:hasThis*/
  @pragma('dart2js:noInline')
  methodNullable() {
    /*fields=[this],free=[this],hasThis*/
    dynamic local() => <T?, int?>{};
    return local;
  }
}

@pragma('dart2js:noInline')
test(o) => o is Map<int, int>;

@pragma('dart2js:noInline')
testNullable(o) => o is Map<int?, int?>;

main() {
  Expect.isTrue(test(new A<int>().method().call()));
  Expect.isTrue(testNullable(new A<int>().methodNullable().call()));
  Expect.isFalse(test(new A<String>().method().call()));
}