{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"val:"}]}
        val: ImmTy<'tcx, Self::Provenance>,
        _ecx: &mut InterpCx<'tcx, Self>,
    ) -> InterpResult<'tcx, ImmTy<'tcx, Self::Provenance>> {