The test language/static_field_test appears to be expecting a static type warning (in all four variations) but as far as I can tell there shouldn't be any warning. My best guess is that the reference to the static member using an instance of the class is the intended trigger, but in all cases the instance has a static type of 'dynamic', so there's no way to determine that the member is static.

I think that either the expectation of a warning needs to be removed or the instance needs to be given an appropriate static type.

Please let me know if there is another warning that should be produced that I'm just not seeing.