Skip to main content

solve_destruct

charon_driver::hax::traits

Function solve_destruct 

Source 
pub fn solve_destruct<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    ty: Ty<'tcx>,
) -> TraitProof
Expand description

Solve the T: Destruct predicate.