This will be super nice to do in constructors:

class MyClass
{
    int foo;
    string bar;
    byte baz

    public MyClass() => (foo, bar, baz) = default;
}

@AustinBryan Those fields are already zero-inited, so what is the purpose of that constructor?

The use case I had in mind for this is assigning a bunch of out parameters on a failure case,

bool TryGet(out int i, out double d) {
  // ...
  (i, d) = default;
  return false;
}

btw I think this is already implemented by jcouv, why the Any Time milestone?

The implementation I have is not quite complete because we've recently implemented more target-typing scenarios (switch expressions in particular). So (i, d) = expr switch { true => (1, null); _ => throw null; }; should work too (ie. giving the tuple in branch a type).

Taking some time into the code regarding this case, and a side-effect would have to also be matching the individual types of the tuple expression:

(1, default)
(default, "")
(1, null)

should match as (int, string), whereas

(1, default)
(null, "")

should match as (int?, string).

I'm awaiting for a response on whether it's okay to follow this approach in another branch targeting the features/decon-default branch, which could be considered a relevant but different feature.

@jcouv are there any updates on this moving forward? #1358 is still in the Working Set, and the only scenario that I believe was indeed left is the target typing from switch expressions.

Closing as duplicate of #1358