Full definition of a union type given in error messages related to union typed variables

[pubudu91]

Consider the following program:

type ValueType int|float|string|boolean|byte;
type DataType ValueType|table|json|xml|map|();

public function main() {
    map<DataType> m;
    map<int> m2 = m;
}

Running the above program results in the following compilation error:

error: .::test2.bal:6:19: incompatible types: expected 'map<int>', found 'map<int|float|string|boolean|byte|table|json|xml|map?>'

Instead of saying map<int|float|string|boolean|byte|table|json|xml|map?>, it should be saying map<DataType>.

[hasithaa]

The same requirement came for LS. This requires persists original typenode information into AST/symbols.

[rasika]

We need to prioritize this issue as the langserver generated codes are not intuitive. Related issue #28684

[MaryamZi]

With #29362, the compilation error has been updated.

type ValueType int|float|string|boolean|byte;
type DataType ValueType|table<record {}>|json|xml|map<any>|();

public function main() {
    map<DataType> m;
    map<int> m2 = m;
}

now results in

ERROR [foo.bal:(6:19,6:20)] incompatible types: expected 'map<int>', found 'map<DataType>'

The original member types of a union type can be accessed via the BType using org.wso2.ballerinalang.compiler.semantics.model.types.BUnionType#getOriginalMemberTypes.

[pubudu91]

@MaryamZi Can this be closed now or are there other cases to consider?