LanguageFeatures/nnbd/static_errors_A01_t18.dart

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

/// @assertion It is an error to call a method, setter, getter or operator on an
/// expression whose type is potentially nullable and not `dynamic`, except for
/// the methods, setters, getters, and operators on `Object`, and except when
/// said member is an extension member or the receiver type is an extension type
///
/// @description  Check that it is no compile-time error to call a method,
/// setter, getter or operator on an expression whose type is potentially
/// nullable if they are methods, setters, getters, and operators on an
/// extension. Test an extension type which implements its representation type.
/// @author sgrekhov22@gmial.com

import "../../Utils/expect.dart";

extension type ET(int v) implements int {}

extension on ET? {
  int foo() => 1;
  int get bar => 2;
  void set baz(int i) {}
  ET? operator +(ET? other) => other;
}

class A<T extends ET?> {
  T t;
  A(this.t);

  test() {
    Expect.equals(1, t.foo());
    Expect.equals(2, t.bar);
    t.baz = 3;
    t + t;
  }
}

main() {
  ET? et = 2 > 1 ? ET(0) : null;
  Expect.equals(1, et.foo());
  Expect.equals(2, et.bar);
  et.baz = 3;
  et + et;

  A(null).test();
}