{"ast_node_type":"function","tokens":[{"end":68,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn trait_is_coinductive(self, trait_def_id: DefId) -> bool {
    /// an auto trait or because it has the `#[rustc_coinductive]` attribute.
        self.trait_def(trait_def_id).is_coinductive