`:Any` should not cause nested unresolved constructors to materialise

[jdunkerley]

type A
    Value x:Any

a = ..Value ..My_Other
b = a:A

Will error with a Any doesn't have My_Other ctor

type A
    Value x

a = ..Value ..My_Other
b = a:A

return b = a.Value (..My_Other)

[enso-bot[bot]]

Jaroslav Tulach reports a new STANDUP for yesterday (2024-06-11):

Progress: - PR for #10237: https://github.com/enso-org/enso/pull/10248

• onScope callback: https://github.com/enso-org/enso/commit/8ebabd5c83d40ca510d579f3924239b469eff719
• investigating https://github.com/enso-org/enso/issues/10237
• investigating failures like: https://discord.com/channels/@me/948519891961544714/1250100661639446539
• review of Arrow.+ with Radek
• planning meeting and standup It should be finished by 2024-06-13.

Discord

Discord - Group Chat That’s All Fun & Games

Discord is great for playing games and chilling with friends, or even building a worldwide community. Customize your own space to talk, play, and hang out.