{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"///"}]}
    /// `'a: 'b`. The `propagate_constraints` code above will
    /// and hence we establish (transitively) a constraint that
    /// therefore add `end('a)` into the region for `'b` -- but we