{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
    /// This type must not appear anywhere in other converted types.
    /// a trait object, and which gets removed in `ExistentialTraitRef`.
    /// `Infer(ty::FreshTy(0))` does the job.