{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
    // non_exhaustive suggests it is possible that someone might break ABI
) -> ControlFlow<DiagMessage, ()> {
    // see: https://github.com/rust-lang/rust/issues/44109#issuecomment-537583344