should if x is Type alter inferred type

[SiyahaS]

I have recently started working with Godot and while trying features I have noticed if I enable unsafe method/property access I get a lot of warnings which should not occur.

var x := myscene.instantiate()
if x is Node2D:
    x.global_position = Vector2.ZERO # x is still inferred as Node instead of Node2D here

I think this kind of automatic type inference change would increase developer experience.

[AThousandShips]

Thank you for your proposal, consolidating in:

• Ignore "unsafe method/property access" errors inside a corresponding is condition block #8530