Function rustc_middle::query::descs::destructure_const

pub fn destructure_const<'tcx>(
    tcx: TyCtxt<'tcx>,
    key: destructure_const<'tcx>
) -> String