diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2024-12-22 22:18:02 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2024-12-29 17:47:30 +0000 |
| commit | de049e6622b36d24a26e4c4cb6ad29ae97d3d631 (patch) | |
| tree | 48b2f328991aed597f29eb5a2d6450c026a2b1e0 /compiler/rustc_borrowck/src/polonius/mod.rs | |
| parent | 42f28cbae675d890d50da86b7e1735f3e596c350 (diff) | |
| download | rust-de049e6622b36d24a26e4c4cb6ad29ae97d3d631.tar.gz rust-de049e6622b36d24a26e4c4cb6ad29ae97d3d631.zip | |
add variance recording
Following the Generalizer's structure, relating e.g. a type with itself will allow tracking the variance wrt the contained regions.
Diffstat (limited to 'compiler/rustc_borrowck/src/polonius/mod.rs')
| -rw-r--r-- | compiler/rustc_borrowck/src/polonius/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_borrowck/src/polonius/mod.rs b/compiler/rustc_borrowck/src/polonius/mod.rs index 16487de09e2..d86edd00725 100644 --- a/compiler/rustc_borrowck/src/polonius/mod.rs +++ b/compiler/rustc_borrowck/src/polonius/mod.rs @@ -36,6 +36,7 @@ mod constraints; mod dump; pub(crate) mod legacy; +mod liveness_constraints; use std::collections::BTreeMap; |