diff options
| author | Jacob Pratt <jacob@jhpratt.dev> | 2025-08-21 01:12:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-21 01:12:16 -0400 |
| commit | 537d5f40a6d45c3531df85555952e277977fbaaf (patch) | |
| tree | f039baef6e1eaf16be70d5abe1b505ce178c4e04 /compiler/rustc_resolve/src/errors.rs | |
| parent | b0dd772ce152048f10e54eccbe93bbc6c9d9766f (diff) | |
| parent | e13e1e4c0c3253d25e2571ed7e58b3a02e28e922 (diff) | |
| download | rust-537d5f40a6d45c3531df85555952e277977fbaaf.tar.gz rust-537d5f40a6d45c3531df85555952e277977fbaaf.zip | |
Rollup merge of #145297 - adwinwhite:recursive-debuginfo, r=wesleywiser
fix(debuginfo): handle false positives in overflow check
Fixes rust-lang/rust#144636.
Duplicate wrappers and normal recursive types can lead to false positives.
```rust
struct Recursive {
a: Box<Box<Recursive>>,
}
```
The ADT stack can be:
- `Box<Recursive>`
- `Recursive`
- `Box<Box<Recursive>>` (`Box` now detected as expanding)
We can filter them out by tracing the generic arg back through the stack, as true expanding recursive types must have their expanding arg used as generic arg throughout.
r? ````@wesleywiser````
Diffstat (limited to 'compiler/rustc_resolve/src/errors.rs')
0 files changed, 0 insertions, 0 deletions
