{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// definition -- that is, the inferred value of `Foo1<'x>` or
    /// (*), computes the "definition type" for an opaque type
    /// `Foo2<'x>` that we would conceptually use in its definition: