Discussion: static reflection

[alrz]

In dotnet/roslyn#10972 it's proposed to turn some of typeof(T) properties to a compile-time constant, for instance: typeof(T).Namespace so that it does not incur runtime overhead.

If we intend to extend this beyond primitive properties like Namespace or Name, we should construct a unique System.Reflection.TypeInfo or System.Reflection.IReflectedType for each "reflected type" with a compiler-provided type-specific implementation. In that case, we may not be able to use the existing typeof syntax though. See also: www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0590r0.pdf