Skip to content

Conversation

@AkiSakurai
Copy link
Contributor

Fix the result of the type name for non-placement variables with template types. We still need to evaluate the arguments of the template before setting the type name.
For typeNameOf the type, we can skip creating the pattern as only the arguments matter.

… name for non-placement template variables

Fix the result of the type name for non-placement variables with template types.
We still need to evaluate the arguments of the template before setting the type name.
For typeNameOf the type, we can skip creating the pattern as only the arguments matter.
@AkiSakurai AkiSakurai changed the title evaluator: fix type name for non-placement template variablesFix type name for non-placement template variables evaluator: fix type name for non-placement template variablesFi Dec 7, 2025
@AkiSakurai AkiSakurai changed the title evaluator: fix type name for non-placement template variablesFi evaluator: fix type name for non-placement template variables Dec 7, 2025
@AkiSakurai AkiSakurai marked this pull request as draft December 9, 2025 12:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant