solve_sized

hax_frontend_exporter::traits

Function solve_sized 

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

Solve the T: Sized predicate.