[theusus]

I find a need for specialisation at a lot of places and it simply doesn't exist in C#. Meta programming in C# almost everytime requires reflection which adds to uncertainty and compromises on readability. Other two are what I posted in original comments.

[neonsunset]

Struct generics in C# are monomorphized - exact same as in Rust.

Combine that with pattern matching and you can go quite far. In place of macros you can use source generators, although they are both weaker and stronger than proc macro depending on what you use them for.