Type inference not working on let variables

[CaiJimmy]

What did you expect to happen?

It works with declare variable but not let

How can we reproduce it (as minimally and precisely as possible)?

declare type local:item as {
    "a": "string"
};

declare variable $x as local:item := {
    "a": 'test'
};

let $x as local:item := {
    "a": "test"
}
return $x

Anything else we need to know?

No response

RumbleDB version

Details

after running the RumbleDB, it will show version next to the logo.

OS version

Details

# On Linux:
$ cat /etc/os-release
# paste output here
$ uname -a
# paste output here

# On Windows:
C:\> wmic os get Caption, Version, BuildNumber, OSArchitecture
# paste output here

Related Software versions

Details

$ java -version
# paste output here
$ mvn --version
# paste output here
$ ant -version
# paste output here
$ spark-submit --version
# paste output here

[ghislainfourny]

I think it is expected to be rejected because { "a": "test" } is anonymous and not automatically of type local:item.

It is the same in Java: passing an instance with specific fields and types is not enough to be an instance of a specific class.

It requires additional validation

validate type local:item { { "a" : "test" } }

to work.

Thus, the problem seems to be with declare variable rather than with let.