tests/language/anonymous_methods/block/null_aware_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 null-aware accesses.
// SharedOptions=--enable-experiment=anonymous-methods

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

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

extension<X extends Object> on X {
  X? get orNull => this;
}

class A {
  B? get b => B();
}

class B {
  bool hasDays() => true;
  int get days => 1;
}

A? a = A();

void main() {
  // No dependency on `this` or parameters.
  {
    final v1 = buffer?.{
      return foo;
    };

    final v2 = (buffer?.{
      return foo;
    })?.{
      return foo;
    };

    final v3 = buffer?.{
      return foo.orNull?.{
        return 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);
  }

  // No dependency on `this` or parameters, condition fails.
  {
    final v1 = notBuffer?.{
      return foo;
    };

    final v2 = (notBuffer?.{
      return foo;
    })?.{
      return foo;
    };

    final v3 = (buffer?.{
      return notFoo;
    })?.{
      return foo;
    };

    final v4 = notBuffer?.{
      return foo.orNull?.{
        return foo;
      };
    };

    final v5 = buffer?.{
      return notFoo?.{
        return foo;
      };
    };

    v1.expectStaticType<Exactly<int?>>;
    v2.expectStaticType<Exactly<int?>>;
    v3.expectStaticType<Exactly<int?>>;
    v4.expectStaticType<Exactly<int?>>;
    v5.expectStaticType<Exactly<int?>>;
    Expect.equals(null, v1);
    Expect.equals(null, v2);
    Expect.equals(null, v3);
    Expect.equals(null, v4);
    Expect.equals(null, v5);
  }

  // Dependency on `this`.
  {
    final v1 = buffer?.{
      return this.length;
    };

    final v2 = (buffer?.{
      return this.length;
    })?.{
      return this.isEven ? 'true' : '';
    };

    final v3 = buffer?.{
      return this.length == buffer?.{
        return 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?.{
      return length;
    };

    final v2 = (buffer?.{
      return length;
    })?.{
      return isEven ? 'true' : '';
    };

    final v3 = buffer?.{
      return length.orNull?.{
        return isEven;
      };
    };

    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 parameter.
  {
    final v1 = buffer?.(p) {
      return p.length;
    };

    final v2 = (buffer?.(p) {
      return p == buffer;
    })?.(p) {
      return p ? 'true' : '';
    };

    final v3 = (buffer?.(p) {
      return p == buffer;
    })?.(q) {
      return q ? 'true' : '';
    };

    final v4 = buffer?.(p) {
      return p == buffer?.(p) {
        return p.length;
      };
    };

    final v5 = buffer?.(p) {
      return p == buffer?.(q) {
        return 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) {
      return p.length;
    };

    final v2 = (buffer?.(Object? p) {
      return p == buffer;
    })?.(bool p) {
      return p ? 'true' : '';
    };

    final v3 = (buffer?.(Object p) {
      return p == buffer;
    })?.(bool q) {
      return q ? 'true' : '';
    };

    final v4 = buffer?.(Object p) {
      return p == buffer?.(StringBuffer p) {
        return p.length;
      };
    };

    final v5 = buffer?.(StringBuffer p) {
      return p == buffer?.(q) {
        return 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);
  }

  // Example using two kinds of null aware access.
  int? daysOfAThenB = a?.b?.{
    return hasDays() ? days : null;
  };
  Expect.equals(1, daysOfAThenB);
}