{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
    /// (*), computes the "definition type" for an opaque type
    /// type, i.e., the value of an inference variable like C1 or C2
    /// definition -- that is, the inferred value of `Foo1<'x>` or