nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-06-04 19:29:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Assert that the trait ref does not need inference

Browse Source
This commit is contained in:
Jonas Schievink 2020-03-29 20:01:41 +02:00
parent b00ba382e0
commit 12d9f4efaf
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/librustc_ty/instance.rs
View File

@ -89,6 +89,7 @@ fn resolve_associated_item<'tcx>(
param_env, trait_item, rcvr_substs, impl_data param_env, trait_item, rcvr_substs, impl_data
); );
assert!(!rcvr_substs.needs_infer()); assert!(!rcvr_substs.needs_infer());
assert!(!trait_ref.needs_infer());
let trait_def_id = tcx.trait_id_of_impl(impl_data.impl_def_id).unwrap(); let trait_def_id = tcx.trait_id_of_impl(impl_data.impl_def_id).unwrap();
let trait_def = tcx.trait_def(trait_def_id); let trait_def = tcx.trait_def(trait_def_id);