{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"ty::RawPtr(_,"}]}
                ty::RawPtr(_, _) if init == InitKind::Uninit => {
                }
                    Some("raw pointers must be initialized".into())