{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"val:"}]}
        val: &ImmTy<'tcx, CtfeProvenance>,
        _kind: mir::RetagKind,
    ) -> InterpResult<'tcx, ImmTy<'tcx, CtfeProvenance>> {