impl<'tcx, T> Normalized<'tcx, T> {
pub fn with<U>(self, value: U) -> Normalized<'tcx, U> {
- Normalized { value: value, obligations: self.obligations }
+ Normalized { value, obligations: self.obligations }
}
}
impl PredicateSet<'tcx> {
fn new(tcx: TyCtxt<'tcx>) -> Self {
- Self { tcx: tcx, set: Default::default() }
+ Self { tcx, set: Default::default() }
}
fn insert(&mut self, pred: &ty::Predicate<'tcx>) -> bool {
trait_def_id, trait_obligations
);
- VtableTraitAliasData { alias_def_id, substs: substs, nested: trait_obligations }
+ VtableTraitAliasData { alias_def_id, substs, nested: trait_obligations }
})
}