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

Remove DefId from ConstraintCategory::Predicate

Browse Source 
This shirnks the size of `ConstraintCategory`, hopefully
fixing a performance regression.
This commit is contained in:
Aaron Hill 2021-09-27 10:45:34 -05:00
parent 93ab12eeab
commit 41ad383e11
No known key found for this signature in database
GPG Key ID: B4087E510E98B164
4 changed files with 20 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_borrowck/src/diagnostics/region_errors.rs
View File

@ -40,7 +40,7 @@ fn description(&self) -> &'static str {
ConstraintCategory::OpaqueType => "opaque type ",
ConstraintCategory::ClosureUpvar(_) => "closure capture ",
ConstraintCategory::Usage => "this usage ",
ConstraintCategory::Predicate(_, _)
ConstraintCategory::Predicate(_)
| ConstraintCategory::Boring
| ConstraintCategory::BoringNoLocation
| ConstraintCategory::Internal => "",

16
compiler/rustc_borrowck/src/region_infer/mod.rs
View File

@ -5,7 +5,7 @@
use rustc_data_structures::frozen::Frozen;
use rustc_data_structures::fx::{FxHashMap, FxHashSet};
use rustc_data_structures::graph::scc::Sccs;
use rustc_hir::def_id::DefId;
use rustc_hir::def_id::{DefId, CRATE_DEF_ID};
use rustc_hir::CRATE_HIR_ID;
use rustc_index::vec::IndexVec;
use rustc_infer::infer::canonical::QueryOutlivesConstraint;
@ -2000,8 +2000,14 @@ fn check_member_constraints(
let cause_code = path
.iter()
.find_map(|constraint| {
if let ConstraintCategory::Predicate(def_id, predicate_span) = constraint.category {
Some(ObligationCauseCode::BindingObligation(def_id, predicate_span))
if let ConstraintCategory::Predicate(predicate_span) = constraint.category {
// We currentl'y doesn't store the `DefId` in the `ConstraintCategory`
// for perforamnce reasons. The error reporting code used by NLL only
// uses the span, so this doesn't cause any problems at the moment.
Some(ObligationCauseCode::BindingObligation(
CRATE_DEF_ID.to_def_id(),
predicate_span,
))
} else {
None
}
@ -2106,7 +2112,7 @@ fn check_member_constraints(
| ConstraintCategory::Boring
| ConstraintCategory::BoringNoLocation
| ConstraintCategory::Internal
| ConstraintCategory::Predicate(_, _) => false,
| ConstraintCategory::Predicate(_) => false,
ConstraintCategory::TypeAnnotation
| ConstraintCategory::Return(_)
| ConstraintCategory::Yield => true,
@ -2118,7 +2124,7 @@ fn check_member_constraints(
| ConstraintCategory::Boring
| ConstraintCategory::BoringNoLocation
| ConstraintCategory::Internal
| ConstraintCategory::Predicate(_, _) => false,
| ConstraintCategory::Predicate(_) => false,
_ => true,
}
}

6
compiler/rustc_borrowck/src/type_check/canonical.rs
View File

@ -101,7 +101,9 @@ pub(super) fn prove_trait_ref(
pub(super) fn normalize_and_prove_instantiated_predicates(
&mut self,
def_id: DefId,
// Keep this parameter for now, in case we start using
// it in `ConstraintCategory` at some point.
_def_id: DefId,
instantiated_predicates: ty::InstantiatedPredicates<'tcx>,
locations: Locations,
) {
@ -111,7 +113,7 @@ pub(super) fn normalize_and_prove_instantiated_predicates(
.zip(instantiated_predicates.spans.into_iter())
{
let predicate = self.normalize(predicate, locations);
self.prove_predicate(predicate, locations, ConstraintCategory::Predicate(def_id, span));
self.prove_predicate(predicate, locations, ConstraintCategory::Predicate(span));
}
}

5
compiler/rustc_middle/src/mir/query.rs
View File

@ -309,6 +309,9 @@ pub struct ClosureOutlivesRequirement<'tcx> {
pub category: ConstraintCategory,
}
// Make sure this enum doesn't unintentionally grow
rustc_data_structures::static_assert_size!(ConstraintCategory, 12);
/// Outlives-constraints can be categorized to determine whether and why they
/// are interesting (for error reporting). Order of variants indicates sort
/// order of the category, thereby influencing diagnostic output.
@ -341,7 +344,7 @@ pub enum ConstraintCategory {
/// A constraint from a user-written predicate
/// with the provided span, written on the item
/// with the given `DefId`
Predicate(DefId, Span),
Predicate(Span),
/// A "boring" constraint (caused by the given location) is one that
/// the user probably doesn't want to see described in diagnostics,