Skip to content

Conversation

Nadrieril
Copy link
Collaborator

@Nadrieril Nadrieril commented Jul 3, 2025

That variant was missing information about the clauses for trait associated types. To avoid infinite loops, this required us to normalize type projections more eagerly.

Draft because based on #1541 and #1534.

@Nadrieril Nadrieril force-pushed the fix-builtin-impl-exprs branch from 2a4e0ed to 6194bf2 Compare July 3, 2025 22:14
@Nadrieril
Copy link
Collaborator Author

Superceded by #1559.

@Nadrieril Nadrieril closed this Jul 22, 2025
@Nadrieril Nadrieril deleted the fix-builtin-impl-exprs branch September 15, 2025 14:03
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