{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"///"}]}
    /// - `ty`, the type `T`
    /// - `origin`, the reason we need this constraint
    /// - `region`, the region `'a`