Basics
Related problem
let foo: list<any> = [1 2 3 a b c] currently triggers type widening when parsing the list expression, then the widened list<oneof<int, string>> is abandoned because there's an explicit type annotation list<any> in the assignment.
I would say most of the widened types are useless, and should only be computed when being checked against something non-trivial.
Describe the solution you'd like
#17575 (comment)
That strategy seems better suited for new-nu-parser.
Nu-parser probably needs more tweaks.
Describe alternatives you've considered
No response
Additional context and details
No response