pub(crate) fn typeck_const_arg<'tcx>(
    tcx: TyCtxt<'tcx>,
    (did, param_did): (LocalDefId, DefId)
) -> &TypeckResults<'tcx>