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

class Class {
  int field;

  Class(this.field);
}

extension Extension on Class {
  int get property => field;
  int? get nullableProperty => field;
  void set property(int? value) {
    field = value ?? 0;
  }

  int method() => field;
}

main() {
  test(null);
}

int? get value => 42;

test(Class? c) {
  c?.property ?? 0;
  Extension(c)?.property ?? 0;
  c?.property = value ?? 0;
  Extension(c)?.property = value ?? 0;
  (c?.property = 42) ?? 0;
  (Extension(c)?.property = value) ?? 0;
  c?.method() ?? 0;
  Extension(c)?.method() ?? 0;
  c = new Class(0);
  c.nullableProperty ?? 0;
  Extension(c).nullableProperty ?? 0;
}