mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

deduplicate identical region constraints

Browse Source
This commit is contained in:
Michael Goulet 2023-06-08 23:12:53 +00:00
parent a77659a1e1
commit d5e25d40c9
2 changed files with 36 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/rustc_trait_selection/src/solve/eval_ctxt/canonical.rs
View File

@ -11,6 +11,7 @@
use super::{CanonicalInput, Certainty, EvalCtxt, Goal};
use crate::solve::canonicalize::{CanonicalizeMode, Canonicalizer};
use crate::solve::{CanonicalResponse, QueryResult, Response};
use rustc_data_structures::fx::FxHashSet;
use rustc_index::IndexVec;
use rustc_infer::infer::canonical::query_response::make_query_region_constraints;
use rustc_infer::infer::canonical::CanonicalVarValues;
@ -147,7 +148,7 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
// Cannot use `take_registered_region_obligations` as we may compute the response
// inside of a `probe` whenever we have multiple choices inside of the solver.
let region_obligations = self.infcx.inner.borrow().region_obligations().to_owned();
let region_constraints = self.infcx.with_region_constraints(|region_constraints| {
let mut region_constraints = self.infcx.with_region_constraints(|region_constraints| {
make_query_region_constraints(
self.tcx(),
region_obligations
@ -157,6 +158,9 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
)
});
let mut seen = FxHashSet::default();
region_constraints.outlives.retain(|outlives| seen.insert(*outlives));
let mut opaque_types = self.infcx.clone_opaque_types_for_query_response();
// Only return opaque type keys for newly-defined opaques
opaque_types.retain(|(a, _)| {

31
tests/ui/traits/new-solver/dedup-regions.rs Normal file
View File

@ -0,0 +1,31 @@
// compile-flags: -Ztrait-solver=next
// check-pass
struct A(*mut ());
unsafe impl Send for A where A: 'static {}
macro_rules! mk {
($name:ident $ty:ty) => {
struct $name($ty, $ty, $ty, $ty, $ty, $ty, $ty, $ty, $ty, $ty);
};
}
mk!(B A);
mk!(C B);
mk!(D C);
mk!(E D);
mk!(F E);
mk!(G F);
mk!(H G);
mk!(I H);
mk!(J I);
mk!(K J);
mk!(L K);
mk!(M L);
fn needs_send<T: Send>() {}
fn main() {
needs_send::<M>();
}