1
Fork 0

Remove normalize_projection_type

This commit is contained in:
Santiago Pastorino 2022-11-23 17:06:56 -03:00
parent 3f2b2eee8f
commit 1930c77de1
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
4 changed files with 13 additions and 68 deletions

View file

@ -8,14 +8,6 @@ use super::FulfillmentError;
use super::{ObligationCause, PredicateObligation};
pub trait TraitEngine<'tcx>: 'tcx {
fn normalize_projection_type(
&mut self,
infcx: &InferCtxt<'tcx>,
param_env: ty::ParamEnv<'tcx>,
projection_ty: ty::ProjectionTy<'tcx>,
cause: ObligationCause<'tcx>,
) -> Ty<'tcx>;
/// Requires that `ty` must implement the trait with `def_id` in
/// the given environment. This trait must not have any type
/// parameters (except for `Self`).