{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
/// obligations" that are required by the impl. During type-check, this
/// The type parameter `N` indicates the type used for "nested
/// is `Obligation`, as one might expect. During codegen, however, this