lochana-chathura

**Description:** ```bal public function main() { int[] [...a] = [1, 2]; // crashes io:println(a); [int...] [...b] = [1, 2]; // works io:println(b); } ``` stacktrace (click to expand) ``` [2022-08-16...

### Description We will be doing $subject in several steps. - [x] Integrate a subset of sem-types (int, boolean, float, decimal, string, nil, never) into jBallerina compile-time #40045 - [x]...

### Description $subject.

[Improvement]: Integrate mapping semtype into jBallerina type engine

1

### Description $subject.

### Description $subject. - As you can observe in the following screenshot, binding pattern variables `name`, `index1`, `postType`, `negType` are not listed under the local variables on the left window....

Port the nBallerina latest type engine changes to jBallerina

1

### Description $subject.

### Description $subject.

[Task]: Port nBallerina readonly and error types

1

### Description $subject.

## Purpose $subject. Fixes #42400 ## Approach n/a ## Samples n/a ## Remarks n/a ## Check List - [x] Read the [Contributing Guide](https://github.com/ballerina-platform/ballerina-lang/blob/master/CONTRIBUTING.md) - [ ] Updated Change Log -...

[Task]: Support `key-constraint` in table semtype

7

### Description $subject. In the current nBallerina table semtype implementation [key-constraint ](https://ballerina.io/spec/lang/master/#key-constraint) is not supported. Ref: https://github.com/ballerina-platform/ballerina-lang/pull/42639#discussion_r1582795300