{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// and hence we establish (transitively) a constraint that
    /// In this case, returning `x` requires `&'a u32 <: &'b u32`
    /// `'a: 'b`. The `propagate_constraints` code above will