Function add_destruct_bounds 

fn add_destruct_bounds<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    predicates: &mut Vec<(Clause<'tcx>, Span)>,
)

Add T: Destruct bounds for every generic parameter of the given item.