Skip to content

Use correct contexts when converting and resolving types of an invocation of parametric instance method within a parametric struct.#4074

Merged
copybara-service[bot] merged 1 commit intomainfrom
test_895303456
Apr 21, 2026

Conversation

@copybara-service
Copy link
Copy Markdown

@copybara-service copybara-service Bot commented Apr 8, 2026

Use correct contexts when converting and resolving types of an invocation of parametric instance method within a parametric struct.

Additionally, properly track the parent context for a parametric struct's context.

@copybara-service copybara-service Bot changed the title Recursively collect annotations for parent parametric contexts when resolving. When unifying types for a struct context, use self_type instead of re-instantiating the struct within the struct context. Apr 20, 2026
@copybara-service copybara-service Bot changed the title When unifying types for a struct context, use self_type instead of re-instantiating the struct within the struct context. Use correct contexts when converting and resolving types of an invocation of parametric instance method within a parametric struct. Apr 21, 2026
…tion of parametric instance method within a parametric struct.

Additionally, properly track the parent context for a parametric struct's context.

PiperOrigin-RevId: 903251878
@copybara-service copybara-service Bot merged commit c5091e2 into main Apr 21, 2026
@copybara-service copybara-service Bot deleted the test_895303456 branch April 21, 2026 15:45
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