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