Landing: 8a308f852b6e
Project / Subsystem
gcc / gccrs
Date
2026-07-16
Author
Enes Cevik
Commit
8a308f852b6eda59549c22c5d5ef7b82907c7b88
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gccrs
- patch_id
- —
- commit_hash
- 8a308f852b6eda59549c22c5d5ef7b82907c7b88
- source_type
- github
- headline
- gccrs: typecheck: Add auto-trait field propagation and negative impl checks
- tldr
- gccrs type-checker now propagates auto-trait information across struct fields and correctly handles negative trait implementations.
- author
- Enes Cevik
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • gccrs
- • rust
- • type-checking
- • auto-trait
- • traits
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-07-16T00:00:00.000Z
This commit enhances gccrs’s type-checking capabilities by introducing support for propagating auto-trait information through struct fields. It also refines the handling of negative trait implementations, ensuring that a type does not satisfy a bound if a negative implementation exists for it. These changes improve the compiler’s accuracy in verifying type constraints and trait bounds.