Skip to main content

solve_copy

charon_driver::hax

Function solve_copy 

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

Solve the T: Copy predicate.