diff options
| author | Jonas Schievink <jonasschievink@gmail.com> | 2020-03-29 20:01:41 +0200 |
|---|---|---|
| committer | Jonas Schievink <jonasschievink@gmail.com> | 2020-03-30 19:48:32 +0200 |
| commit | 12d9f4efaf972c4da1192dda4f43c19c8983bc79 (patch) | |
| tree | d0fd498a668171d471a9542affd757cf8d3b6475 /src | |
| parent | b00ba382e06aff8aae4ef6ba927ce53a4efd6f25 (diff) | |
| download | rust-12d9f4efaf972c4da1192dda4f43c19c8983bc79.tar.gz rust-12d9f4efaf972c4da1192dda4f43c19c8983bc79.zip | |
Assert that the trait ref does not need inference
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_ty/instance.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustc_ty/instance.rs b/src/librustc_ty/instance.rs index 2b7d7e7e637..2d16f1f1d3a 100644 --- a/src/librustc_ty/instance.rs +++ b/src/librustc_ty/instance.rs @@ -89,6 +89,7 @@ fn resolve_associated_item<'tcx>( param_env, trait_item, rcvr_substs, impl_data ); 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 = tcx.trait_def(trait_def_id); |