Typed array methods return Variant

[KoBeWi]

Godot version

ea4b8de

System information

Windows 10 x64

Issue description

var arr: Array[int]
var v := arr[0] # works
var v2 := arr.front() # Could not infer the type of the variable "v2" because the initial value is a variant.

I'd expect the front() to correctly return int.

Steps to reproduce

1. Add typed array
2. Try infer return value of any method that returns an element

Minimal reproduction project

No response

[akien-mga]

Related to #62709 (comment)

I don't know if that's fixable given that TypedArrays are still normal Variant arrays internally. Maybe with more specific handling for their hint in GDScript.

[amoriqbal]

Two possible ideas to fix this:

1. Treat arrays as objects of classes. Array[int] and Array[float] should then be objects of two different autogenerated classes (say e.g. _GD_TypedArray_1 and _GD_TypedArray_2).
2. Change Variant::Type from enum to a class. Then we can keep member variables to keep track of other details like type of elements of array. We can also use operator overloading to enable something like arr1.type == arr2.type.

[kleonc]

Duplicate of #59721.