Landing: 867bf5b7c363
Project / Subsystem
gcc / gccrs
Date
2026-08-16
Author
Philip Herron
Commit
867bf5b7c3639d62729f6407dae860112995232f
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gccrs
- patch_id
- —
- commit_hash
- 867bf5b7c3639d62729f6407dae860112995232f
- source_type
- github
- headline
- gccrs: Add missing bounds checks on associated impl
- tldr
- gccrs now correctly validates trait bounds for associated impls, fixing a bug where incorrect implementations could be accepted.
- author
- Philip Herron
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • gccrs
- • type checking
- • traits
- • rust
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-08-16T00:00:00.000Z
This commit enhances gccrs’s type checking by adding necessary bounds checks for associated trait implementations. Previously, the compiler might accept an impl<T: A> B for S<T> even if the concrete type T did not satisfy the bound A when it was actually used. The fix ensures that trait bounds are validated after generic arguments are bound, preventing incorrect implementations from being accepted and resolving issues with trait resolution in method calls.