tests/language/anonymous_methods/expression/plain_test.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.

// Anonymous methods using plain accesses.
// SharedOptions=--enable-experiment=anonymous-methods

import 'package:expect/expect.dart';
import '../../static_type_helper.dart';

StringBuffer buffer = StringBuffer(''); // `length` remains 0.
int foo = 42;

void main() {
  // No dependency on `this` or parameters.
  {
    final v1 = buffer.=> foo;
    final v2 = (buffer.=> foo).=> foo;
    final v3 = buffer.=> foo.=> foo;
    v1.expectStaticType<Exactly<int>>;
    v2.expectStaticType<Exactly<int>>;
    v3.expectStaticType<Exactly<int>>;
    Expect.equals(foo, v1);
    Expect.equals(foo, v2);
    Expect.equals(foo, v3);
  }

  // Dependency on `this`.
  {
    final v1 = buffer.=> this.length;
    final v2 = (buffer.=> this == buffer).=> this ? 'true' : '';
    final v3 = buffer.=> this.length == buffer.=> this.length;
    v1.expectStaticType<Exactly<int>>;
    v2.expectStaticType<Exactly<String>>;
    v3.expectStaticType<Exactly<bool>>;
    Expect.equals(buffer.length, v1);
    Expect.equals('true', v2);
    Expect.equals(true, v3);
  }

  // Dependency on implicit `this`.
  {
    final v1 = buffer.=> length;
    final v2 = (buffer.=> length).=> isEven ? 'true' : '';
    final v3 = buffer.=> true ^ length.=> isEven;
    v1.expectStaticType<Exactly<int>>;
    v2.expectStaticType<Exactly<String>>;
    v3.expectStaticType<Exactly<bool>>;
    Expect.equals(buffer.length, v1);
    Expect.equals('true', v2);
    Expect.equals(false, v3);
  }

  // Dependency on parameter.
  {
    final v1 = buffer.(p) => p.length;
    final v2 = (buffer.(p) => p == buffer).(p) => p ? 'true' : '';
    final v3 = (buffer.(p) => p == buffer).(q) => q ? 'true' : '';
    final v4 = buffer.(p) => p == buffer.(p) => p.length;
    final v5 = buffer.(p) => p == buffer.(q) => p.length;
    v1.expectStaticType<Exactly<int>>;
    v2.expectStaticType<Exactly<String>>;
    v3.expectStaticType<Exactly<String>>;
    v4.expectStaticType<Exactly<bool>>;
    v5.expectStaticType<Exactly<bool>>;
    Expect.equals(buffer.length, v1);
    Expect.equals('true', v2);
    Expect.equals('true', v3);
    Expect.equals(false, v4);
    Expect.equals(false, v5);
  }

  // Dependency on parameter with type annotation.
  {
    final v1 = buffer.(StringBuffer p) => p.length;
    final v2 = (buffer.(Object? p) => p == buffer).(bool p) => p ? 'true' : '';
    final v3 = (buffer.(Object p) => p == buffer).(bool q) => q ? 'true' : '';
    final v4 = buffer.(Object p) => p == buffer.(StringBuffer p) => p.length;
    final v5 = buffer.(StringBuffer p) => p == buffer.(q) => p.length;
    v1.expectStaticType<Exactly<int>>;
    v2.expectStaticType<Exactly<String>>;
    v3.expectStaticType<Exactly<String>>;
    v4.expectStaticType<Exactly<bool>>;
    v5.expectStaticType<Exactly<bool>>;
    Expect.equals(buffer.length, v1);
    Expect.equals('true', v2);
    Expect.equals('true', v3);
    Expect.equals(false, v4);
    Expect.equals(false, v5);
  }
}