Add notes for extensions WG 2024-06-14 #8217
Conversation
|
|
||
| ### Attribute with typeof-like string | ||
|
|
||
| The main problem is how to represent type parameters, since they are currently disallowed in typeof inside attributes. |
There was a problem hiding this comment.
Should we allow type parameters in typeof inside attributes and use that instead of inventing another way?
There was a problem hiding this comment.
inventing another way?
The proposal is not to invent another way, but indeed to extend the typeof format.
As for allowing type parameters in typeof in attributes in the language, this involves more complications (update reflection APIs and other tools), so I think that should be separated. But the same format should allow that if we decided to.
There was a problem hiding this comment.
Thinking about your question more, I think the implication is if we could extend typeof first, then the attribute constructor should take a Type instead of a string, if the runtime and other tools could recognize it. I'll capture an open question.
There was a problem hiding this comment.
BTW the prototype of using type parameters in generic attributes is here: dotnet/runtime#103213
It's not a non-trivial work for runtime as the coreclr already supports looking up type parameters for an attribute, it's just that the reflection library didn't pass the generic context to the runtime while looking up attributes before.
Relates to test plan dotnet/roslyn#66722