This example has type errors (with the analyzer as well as the CFE, SDK 3.11.0-16.0.dev) because no promotion occurs for x even though the record pattern gives rise to a type query (using the object ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback