Tomas Grosup

Yes, it must be lifted to a top level function in order for attributes to be allowed. The `TailCall` documentation is in the same page, just below your sample -...

Re: Structural comparison for seq: `seq` is about data as well as about computation. Apart from trivial cases, the correct content-based equality would need to enumerate the full contents. That...

It would be great if common types with good structural equality were scanned first - if this warning is done, it should have good coverage for existing idioms (both in...

> I wonder if something comprehensive needs to be written up in an equality RFC for 1280, including the current equality mechanism, adding `IEquatable

So the `nullable` would be a shorthand for putting in all nullness-related errors, on top of the option for specifying error codes individually. Do I understand it right?

This was not done, this proposal is about a syntactical shorthand for doing warningsAsErrors for all nullable-related warnings. (as opposed to listing individual error codes)

Thanks for spotting this. How did you find this, is there an user report behind this? I guess we have to change codegen when this is used within a lambda...

We could add them symmetrically, similarly to how it is done for collection conversions Async.Await(ValueTask) ValueTask.toAsync

> @T-Gro do you have any idea what SDK release this will make it into? Is this branch still inserting into 9.0.200? fsharp's `main` is not inserting into 17.13 automatically...

> Shall we add tests for builders? Classic and resumable? Since a bunch of continuations are getting codegened there as well as inlining and state machines. We don't propagate that...