{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"//!"}]}
//!   all the obligations in `C` have been found completed.
//!   empty vector. Otherwise it will only be considered completed once
//! - `errors`: a list of errors that occurred and associated backtraces