{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
/// u32` to `&'0 u32` where `'0` is a fresh variable. This becomes the
/// As an example, if we had `?A <: &'x u32`, we would generalize `&'x
/// value of `A`. Finally, we relate `&'0 u32 <: &'x u32`, which