Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Some random region tweaks #134827

Merged
merged 2 commits into from
Dec 28, 2024
Merged

Some random region tweaks #134827

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
d6c5a6b
nit: Remove redundant function
compiler-errors Dec 26, 2024
85aad52
Make sure there are no registered constraints from creating universal…
compiler-errors Dec 27, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Make sure there are no registered constraints from creating universal… 
… region vids
  • Loading branch information
@compiler-errors
compiler-errors committed Dec 27, 2024
commit 85aad52ce8b2de4d6b7119812d1daa8717f4b23d
6 changes: 6 additions & 0 deletions compiler/rustc_borrowck/src/type_check/mod.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -140,6 +140,12 @@ pub(crate) fn type_check<'a, 'tcx>(
&mut constraints,
);

let pre_obligations = infcx.take_registered_region_obligations();
assert!(
pre_obligations.is_empty(),
"there should be no incoming region obligations = {pre_obligations:#?}",
);

debug!(?normalized_inputs_and_output);

let mut typeck = TypeChecker {
Expand Down
Loading