pkg/front_end/testcases/nnbd/issue41273.dart

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

void test(Never x) {
  Never n1 = x.toString();
  Never n2 = x.runtimeType;
  Never n3 = x.someGetter;
  Never n4 = x.someMethod();
  Never n5 = x + x;
  Never n6 = x[x];
  Never n7 = x();
  Never n8 = x.runtimeType();
  Never n9 = x.toString;
  x.runtimeType = Object;
  x.toString = () => '';
  var v1 = x.toString();
  var v2 = x.runtimeType;
  var v3 = x.someGetter;
  var v4 = x.someMethod();
  var v5 = x + x;
  var v6 = x[x];
  var v7 = x();
  var v8 = x.runtimeType();
  var v9 = x.toString;
}

main() {}