{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"#[derive(Debug)]"}]}
#[derive(Debug)]
/// or execution does not have all information available.
pub enum InvalidProgramInfo<'tcx> {