Skip to main content

compute_unsizing_metadata

charon_driver::hax

Function compute_unsizing_metadata 

Source 
pub fn compute_unsizing_metadata<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    src_ty: Ty<'tcx>,
    tgt_ty: Ty<'tcx>,
) -> (Vec<FieldIdx>, UnsizingMetadata<'tcx>)