diff options
| author | Nicholas Nethercote <n.nethercote@gmail.com> | 2022-01-27 17:00:16 +1100 |
|---|---|---|
| committer | Nicholas Nethercote <n.nethercote@gmail.com> | 2022-02-15 16:03:26 +1100 |
| commit | 925ec0d3c77601ebfa32b148393a5192943c2ff1 (patch) | |
| tree | 6d1bc9dafbf9329e5a6194e05cf6873db451a820 /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp | |
| parent | e9a0c429c5da5a34c0469117774fe32694a0281c (diff) | |
| download | rust-925ec0d3c77601ebfa32b148393a5192943c2ff1.tar.gz rust-925ec0d3c77601ebfa32b148393a5192943c2ff1.zip | |
Overhaul `PredicateInner` and `Predicate`.
Specifically, change `Ty` from this:
```
pub struct Predicate<'tcx> { inner: &'tcx PredicateInner<'tcx> }
```
to this:
```
pub struct Predicate<'tcx>(&'tcx Interned<PredicateS<'tcx>>)
```
where `PredicateInner` is renamed as `PredicateS`.
This (plus a few other minor changes) makes the parallels with `Ty` and
`TyS` much clearer, and makes the uniqueness more explicit.
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions