{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
/// value of `A`. Finally, we relate `&'0 u32 <: &'x u32`, which
/// u32` to `&'0 u32` where `'0` is a fresh variable. This becomes the
/// establishes `'0: 'x` as a constraint.