{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
    /// type, i.e., the value of an inference variable like C1 or C2
    /// Given the fully resolved, instantiated type for an opaque
    /// (*), computes the "definition type" for an opaque type