Jack Williams

> But, I think there's a difference between saying "well-typed programs cannot 'go wrong'" and saying "programs that don't 'go wrong' are well-typed". The implication is in different directions. Yes...

It's probably better not to think of these as 'true' lower-bounds on the type, rather a lower bound on the type's behaviour as a set of keys. When we see...

I think for the initial proposal we would only look at invoking narrowing for specific forms of return type, but ideally we would be more liberal and handle cases like:...

This is a 'bug', or rather, I did not add the specific argument names for all functions (only common ones). However, I have since tracked down where I can find...

Is this for every sheet in the workbook, or particular ones? Are there any protections on the document?

AFE was originally created as a way to author LAMBDA's that could be shared across documents, and worksheet scope coupled the functions to the document. Since then, AFE has expanded...

Adding as an enhancement. It would be interested to learn when you prefer using the tooltips vs the built-in AFE debugger.

Thanks for the feedback @D3vil0p3r - we are aware of the pain point. No work currently scheduled for this, but tagging @chgrossMSFT for visibility.

@sandersn > Let me know if you have ideas for some other way to get excess property checks for unions without discriminant properties. Is it possible to sort the union...

@sandersn Yeah I believe the ordering is only partial, so even if the sort were stable, you'd still have to deal with unrelated elements appear somewhere. Bringing in subtyping seems...