Function rustc_middle::ty::query::query_provided_to_value::adt_dtorck_constraint

pub fn adt_dtorck_constraint<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: adt_dtorck_constraint<'tcx>
) -> Erase<adt_dtorck_constraint<'tcx>>