{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"ctfe_mode:"}]}
    ctfe_mode: Option<CtfeValidationMode>,
    /// `None` indicates this is not validating for CTFE (but for runtime).
    ecx: &'rt mut InterpCx<'tcx, M>,