{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"///"}]}
    /// - `instantiated_ty`, the inferred type C1 -- fully resolved, lifted version of
    /// - `args`, the args used to instantiate this opaque type
    ///   `opaque_defn.concrete_ty`