diff options
| author | bors <bors@rust-lang.org> | 2025-04-16 01:46:01 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-04-16 01:46:01 +0000 |
| commit | efb1e3d676e1549811da79ebd124b6fc4d856248 (patch) | |
| tree | d7a5ff86a817e9a52dbc057d48484f6e63254cf6 /compiler/rustc_parse/src | |
| parent | cacb9eed381ed19ba936fc019d63d9b9e694007e (diff) | |
| parent | c774adcbb535e69bffe5be329af006959f897fbd (diff) | |
| download | rust-efb1e3d676e1549811da79ebd124b6fc4d856248.tar.gz rust-efb1e3d676e1549811da79ebd124b6fc4d856248.zip | |
Auto merge of #139768 - compiler-errors:split-fold, r=lcnr
Split `TypeFolder` and `FallibleTypeFolder` atwain
Right now there is a coherence problem with `TypeFolder` and `FallibleTypeFolder`. Namely, it's impossible to implement a `FallibleTypeFolder` that is generic over interner, b/c it has a *downstream* conflict with the blanket impl:
```
impl<I, F> FallibleTypeFolder<I> for F where F: TypeFolder<I> {}
```
Because downstream crates may implement `TypeFolder<SomeLocalInterner>` for the fallible type folder.
This PR removes the relationship between `FallibleTypeFolder` and `TypeFolder`; it leads to *modest* code duplication, but otherwise does not affect perf and really doesn't matter in general.
Diffstat (limited to 'compiler/rustc_parse/src')
0 files changed, 0 insertions, 0 deletions