Static variable declaration of the form "static var v = X" prevents further assigments to v if the value's type is not assignable to X's type

[DartBot]

This issue was originally filed by rodion...@unipro.ru

---

What steps will reproduce the problem?

1. Run this test with --component=dartc:
   class A {
     static var b = 1;
   }

main() {
  A.b = -1;
  Expect.equals(-1, A.b);
  A.b = "bar";
  Expect.equals("bar", A.b);
  Map bar = new Map<String, int>();
  A.b = bar;
  Expect.equals(bar, A.b);
}

1. Observe the errors

What is the expected output? What do you see instead?
Spec says (Ch. 7.7):
A non-final static variable declaration of the form static T v; or the form static T v = e; always induces an implicit static setter function (7.3) with signature
static void set v(T x)
whose execution sets the value of v to the incoming argument x.

Doesn't say the setter's argument type is fixed to the runtime type of e, Dynamic is implied and a value of any type should be possible to use.

What version of the product are you using? On what operating system?
latest Dart version, ubuntu 2.6.32-35-generic

[floitschG]

Added Area-Compiler, Triaged labels.

[DartBot]

This comment was originally written by zundel@google.com

---

Just ran this test again, this is a problem with static analysis, not code generation.

[kasperl]

Removed Area-Compiler label.
Added Area-Analyzer label.

[danrubel]

Added this to the M1 milestone.

[DartBot]

This comment was originally written by zundel@google.com

---

Just ran the above test again and there are no errors output.

---

Added CannotReproduce label.

[DartBot]

This comment was originally written by rodion...@unipro.ru

---

Just checked with a recent build of dartc and there was no error as well.
Looks like it's been fixed at some point