ensure_impl_predicates_are_implied_by_item_defn

rustc_hir_analysis::check::always_applicable

Function ensure_impl_predicates_are_implied_by_item_defn 

Source 
fn ensure_impl_predicates_are_implied_by_item_defn<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_def_id: LocalDefId,
    adt_def_id: DefId,
    adt_to_impl_args: GenericArgsRef<'tcx>,
) -> Result<(), ErrorGuaranteed>
Expand description

Confirms that all predicates defined on the Drop impl (drop_impl_def_id) are able to be proven from within adt_def_id’s environment. I.e. all the predicates on the impl are implied by the ADT being well formed.