Function rustc_traits::dropck_outlives::dtorck_constraint_for_ty
source · 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.