bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Make it clearer that the only infers we expect to see when processing outlives are regions

Browse source
This commit is contained in:
Michael Goulet 2025-01-02 00:47:43 +00:00
parent f3646748cd
commit 2a373d7dd3
1 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/rustc_infer/src/infer/outlives/obligations.rs
View file

@ -363,6 +363,13 @@ where
return; return;
} }
if alias_ty.has_non_region_infer() {
self.tcx
.dcx()
.span_delayed_bug(origin.span(), "an alias has infers during region solving");
return;
}
// This case is thorny for inference. The fundamental problem is // This case is thorny for inference. The fundamental problem is
// that there are many cases where we have choice, and inference // that there are many cases where we have choice, and inference
// doesn't like choice (the current region inference in // doesn't like choice (the current region inference in
@ -408,7 +415,7 @@ where
let is_opaque = alias_ty.kind(self.tcx) == ty::Opaque; let is_opaque = alias_ty.kind(self.tcx) == ty::Opaque;
if approx_env_bounds.is_empty() if approx_env_bounds.is_empty()
&& trait_bounds.is_empty() && trait_bounds.is_empty()
&& (alias_ty.has_infer() || is_opaque) && (alias_ty.has_infer_regions() || is_opaque)
{ {
debug!("no declared bounds"); debug!("no declared bounds");
let opt_variances = is_opaque.then(|| self.tcx.variances_of(alias_ty.def_id)); let opt_variances = is_opaque.then(|| self.tcx.variances_of(alias_ty.def_id));