fn dtorck_constraint_for_ty<'tcx>(
    tcx: TyCtxt<'tcx>,
    span: Span,
    for_ty: Ty<'tcx>,
    depth: usize,
    ty: Ty<'tcx>,
    constraints: &mut DropckConstraint<'tcx>
) -> Result<(), NoSolution>
Expand description

Returns a set of constraints that needs to be satisfied in order for ty to be valid for destruction.