diff options
| author | Michael Goulet <michael@errs.io> | 2024-11-19 20:30:58 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-11-19 20:30:58 +0000 |
| commit | 588c4c45d55556ec7dcaad746ff1af3ca991b64a (patch) | |
| tree | 36957d510dc23d90b2690fe1a82b16f5aa837bcb /compiler/rustc_next_trait_solver/src | |
| parent | 89b688552994bd8404b8fdab2cf96f00632af0ff (diff) | |
| download | rust-588c4c45d55556ec7dcaad746ff1af3ca991b64a.tar.gz rust-588c4c45d55556ec7dcaad746ff1af3ca991b64a.zip | |
Rename implied_const_bounds to explicit_implied_const_bounds
Diffstat (limited to 'compiler/rustc_next_trait_solver/src')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs | 2 | ||||
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/effect_goals.rs | 5 |
2 files changed, 2 insertions, 5 deletions
diff --git a/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs b/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs index ebf7372926f..9f01acb2f6d 100644 --- a/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs +++ b/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs @@ -102,7 +102,7 @@ where /// Assemble additional assumptions for an alias that are not included /// in the item bounds of the alias. For now, this is limited to the - /// `implied_const_bounds` for an associated type. + /// `explicit_implied_const_bounds` for an associated type. fn consider_additional_alias_assumptions( ecx: &mut EvalCtxt<'_, D>, goal: Goal<I, Self>, diff --git a/compiler/rustc_next_trait_solver/src/solve/effect_goals.rs b/compiler/rustc_next_trait_solver/src/solve/effect_goals.rs index 0912e5effa6..bb082a0eb5a 100644 --- a/compiler/rustc_next_trait_solver/src/solve/effect_goals.rs +++ b/compiler/rustc_next_trait_solver/src/solve/effect_goals.rs @@ -84,12 +84,9 @@ where let cx = ecx.cx(); let mut candidates = vec![]; - // FIXME(const_trait_impl): We elaborate here because the implied const bounds - // aren't necessarily elaborated. We probably should prefix this query - // with `explicit_`... for clause in elaborate::elaborate( cx, - cx.implied_const_bounds(alias_ty.def_id) + cx.explicit_implied_const_bounds(alias_ty.def_id) .iter_instantiated(cx, alias_ty.args) .map(|trait_ref| trait_ref.to_host_effect_clause(cx, goal.predicate.constness)), ) { |