diff options
| author | Amanda Stjerna <amanda.stjerna@it.uu.se> | 2024-06-13 16:35:29 +0200 |
|---|---|---|
| committer | Amanda Stjerna <amanda.stjerna@it.uu.se> | 2024-07-01 10:39:42 +0200 |
| commit | b3ef0e8487286b90e60261b9ac8d26dbb91b7e99 (patch) | |
| tree | b4d1d84387bb14627dbd0155203a74166987b08a /compiler/rustc_middle | |
| parent | f92a6c41e644d6222be77b20396daec5e77661f3 (diff) | |
Handle universe leaks by rewriting the constraint graph
This version is a squash-rebased version of a series of exiermental commits, since large parts of them were broken out into PR #125069. It explicitly handles universe violations in higher-kinded outlives constraints by adding extra outlives static constraints.
Diffstat (limited to 'compiler/rustc_middle')
| -rw-r--r-- | compiler/rustc_middle/src/mir/query.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/mir/query.rs b/compiler/rustc_middle/src/mir/query.rs index 46b38e4a6a6..cd8e28522ec 100644 --- a/compiler/rustc_middle/src/mir/query.rs +++ b/compiler/rustc_middle/src/mir/query.rs @@ -274,6 +274,9 @@ pub enum ConstraintCategory<'tcx> { /// A constraint that doesn't correspond to anything the user sees. Internal, + + /// An internal constraint derived from an illegal universe relation. + IllegalUniverse, } #[derive(Copy, Clone, Debug, Eq, PartialEq, PartialOrd, Ord, Hash)] |