{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
    /// constraint that `'a: 'b`. It is an error that we have no evidence that this
    /// returning `x` requires `&'a u32 <: &'b u32` and hence we establish (transitively) a
    /// constraint holds.