{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
/// is `Obligation`, as one might expect. During codegen, however, this
/// obligations" that are required by the impl. During type-check, this
/// is `()`, because codegen only requires a shallow resolution of an