pkg/front_end/test/static_types/data/promoted_access.dart

// Copyright (c) 2017, 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.

/*cfe.library: nnbd=false*/
/*cfe:nnbd.library: nnbd=true*/

class Class<T> {
  method(T o) {
    if (/*cfe|dart2js.T*/ /*cfe:nnbd.T%*/ o is Class) {
      /*cfe|dart2js.T & Class<dynamic>*/
      /*cfe:nnbd.T! & Class<dynamic>!*/
      o. /*invoke: dynamic*/ method(/*Null*/ null);
    }
  }
}

method<T>(T o) {
  if (/*cfe|dart2js.T*/ /*cfe:nnbd.T%*/ o is Class) {
    /*cfe|dart2js.T & Class<dynamic>*/
    /*cfe:nnbd.T! & Class<dynamic>!*/
    o. /*invoke: dynamic*/ method(/*Null*/ null);
  }
}

main() {
  var c = new /*Class<dynamic>*/ Class/*<dynamic>*/();
  /*Class<dynamic>*/ c. /*invoke: dynamic*/ method(/*Class<dynamic>*/ c);
  /*invoke: dynamic*/ method/*<Class<dynamic>>*/(/*Class<dynamic>*/ c);
}