bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Improve docs/clean up negative overlap functions

Browse source
This commit is contained in:
Michael Goulet 2023-06-14 02:18:30 +00:00
parent 6330daade9
commit 9e210522bc
2 changed files with 85 additions and 83 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_trait_selection/src/traits/select/mod.rs
View file

@ -365,7 +365,9 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
}
if !candidate_set.ambiguous && no_candidates_apply {
let trait_ref = stack.obligation.predicate.skip_binder().trait_ref;
let trait_ref = self.infcx.resolve_vars_if_possible(
stack.obligation.predicate.skip_binder().trait_ref,
);
if !trait_ref.references_error() {
let self_ty = trait_ref.self_ty();
let (trait_desc, self_desc) = with_no_trimmed_paths!({