Neal Gafter

@alrz > Also I noticed that the example given in the proposal conflates "polar deconstruction" and "cartesian to polar conversion". Assuming that the two are defined as records... Polar is...

@alrz I expect such a static class would also contain a pseudo-constructor - for example, in the type `Polar` to create an actual object of type `Cartesian`, and other utilities...

From [Wikipedia](https://en.wikipedia.org/wiki/Code_refactoring): > **Code refactoring** is the process of restructuring existing computer code—changing the _factoring_—without changing its external behavior.

See https://docs.julialang.org/en/v1/base/collections/#Constructors-and-Types

I moved this issue here because it is worth considering what, if anything, the spec might do about it.

From the specification at https://github.com/dotnet/csharpstandard/blob/standard-v6/standard/expressions.md#1177-null-conditional-member-access, the type of P?.A is the type of P.A when that type is neither a type parameter (blah blah) nor a non-nullable value type. Well,...

Also, if the left-hand-side has an explicitly declared type, then the conditional expression works because we added target-typed conditional expressions in 8.0: https://github.com/dotnet/csharplang/blob/main/proposals/csharp-9.0/target-typed-conditional-expression.md . If the left-hand-side is declared with...

This can be used to address comments in `raicode` such as ``` # TODO Once AutoHashEquals supports inner constructors with typed arguments, we can use # @auto_hash_equals cache=true hashfn=xxxxx typearg=false...

Also `src/Compiler/Shared/auto-copy.jl` in raicode

@kwdef also adds constructors that this package needs to be prepared to update.