Prefer identifiers annotated type if assigned type is incompatible to it

[HolonProduction]

Clashes with the PR #78929

Fixes partially #74888
Fixes partially #71296
Fixes partially #78454

Fixes #78860
Fixes #78820

Fixes partially #86172

Fixes #86513
Fixes #86871

A small self contained example demonstrating the problem:

func _ready():
    var a: String = 1
    a. # no string methods are suggested

Obviously the example isn't valid GDScript, but in more complex situations like #74888 the incompatible assignment might result from an issue with interfering the type of the assignment which might still be valid at runtime. In such cases we should respect the type that the user specified.

Implementation detail:

• If there are any ideas to prevent changing the analyzer without copying the over hundred line long function I'm all in for it.

TODO:

• it currently only works with local variables but as Autocompletion from get_node() still does not work for some cases #86172 shows it can also happen with class properties Done

[vnen]

LGTM

[vnen]

LGTM. Sorry for the delay in reviewing it

[YuriSizov]

Should we consider #78929 superseded?

[YuriSizov]

Thanks!