C# Language Proposal discussion: Target-typed static member lookup

[soronpo]

Why not continue on that thread?

Relative scoping for hierarchical ADT arguments

I also wish to add a use-case that wasn’t discussed here thus far (and didn’t exist for me when I initiated the idea several years ago). I call it “by type” argument assignment (instead of by order or by name), and it’s using opaque types + givens + implicit conversion to do something which I think is cool. What I do is that I have a configuration context object where each value gets its own unique type import wvlet.log.LogLevel //using an external logger library import CompilerOptions.* //im…