syntax_data: {"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! Confirmation unifies the output type parameters of the trait
context_before: //!
context_after: //! with the values found in the obligation, possibly yielding a