// Copyright (c) 2023, 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 Case ⟨Setter: Mutable variable with declared type ⟩. A variable
/// declaration of one of the forms
/// • static? late? T id;
/// • static? late? T id = e;
/// implicitly induces a setter with the header void set id(T x), whose
/// execution sets the value of id to the incoming argument x.
///
/// @description Checks the static type of an implicit setter of a mutable
/// instance variable with declared type
/// @author sgrekhov22@gmail.com

import '../../../Utils/static_type_helper.dart';

class A {
  late int v1;
  int? v2;
  late int v3 = 3;
  num v4 = 4;
}

class C extends A {
  void set v1(x) {
    x.expectStaticType<Exactly<int>>();
  }
  void set v2(x) {
    x.expectStaticType<Exactly<int?>>();
  }
  void set v3(x) {
    x.expectStaticType<Exactly<int>>();
  }
  void set v4(x) {
    x.expectStaticType<Exactly<num>>();
  }
}

main() {
  C c = C();
  c.v1 = -1;
  c.v2 = -2;
  c.v3 = -3;
  c.v4 = -4;
}