Skip to content

Fix ParseGenericTypeArgumentNames for nested generic types#1414

Merged
max-charlamb merged 1 commit intomicrosoft:mainfrom
max-charlamb:fix/nested-generic-arg-parsing
Apr 3, 2026
Merged

Fix ParseGenericTypeArgumentNames for nested generic types#1414
max-charlamb merged 1 commit intomicrosoft:mainfrom
max-charlamb:fix/nested-generic-arg-parsing

Conversation

@max-charlamb
Copy link
Copy Markdown
Contributor

GetConcreteGenericTypeArguments was resolving VoidTaskResult (from AsyncTaskMethodBuilder) instead of the state machine type, leaving the
StateMachine field with a null or wrong type after metadata fallback. This caused SOS DumpAsync to crash with an assertion failure.

Fix

Find the last + at depth 0 (outside angle brackets) to skip past outer type names, then search for < from there.

Verification

Input Before (bug) After (fix)
AsyncTaskMethodBuilder<VoidTaskResult>+AsyncStateMachineBox<MyClass+<DoAsync>d__3> VoidTaskResult MyClass+<DoAsync>d__3
Dictionary<String, Int32> String, Int32 String, Int32
Dictionary<String, Int32>+Entry String, Int32 (none) ✅

Fixes the regression reported in dotnet/diagnostics#5789.

ParseGenericTypeArgumentNames used IndexOf('<') to find the start of
generic arguments, which returns the first '<' in the full type name.
For nested generic types like Outer<A>+Inner<B>, this incorrectly
extracts the outer type's arguments (A) instead of the inner type's (B).

This breaks __Canon type resolution for AsyncStateMachineBox<TStateMachine>
because GetConcreteGenericTypeArguments resolves AsyncTaskMethodBuilder's
TResult instead of the state machine type, leaving the StateMachine field
with a null or wrong type after metadata fallback.

Fix: find the last '+' at depth 0 (outside angle brackets) to skip past
outer type names, then search for '<' from there.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@max-charlamb max-charlamb changed the title Fix ParseGenericTypeArgumeantNames for nested generic types Fix ParseGenericTypeArgumentNames for nested generic types Apr 3, 2026
@max-charlamb max-charlamb requested a review from leculver April 3, 2026 19:41
@max-charlamb max-charlamb marked this pull request as ready for review April 3, 2026 19:41
@max-charlamb max-charlamb requested a review from hoyosjs April 3, 2026 19:41
@max-charlamb max-charlamb merged commit ba94db0 into microsoft:main Apr 3, 2026
8 checks passed
@max-charlamb max-charlamb deleted the fix/nested-generic-arg-parsing branch April 3, 2026 22:02
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.

2 participants