{"ast_node_type":"function","tokens":[{"end":74,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn trait_principal(&self) -> Option<Binder<ExistentialTraitRef>> {
        if let TyKind::RigidTy(RigidTy::Dynamic(predicates, _, _)) = self {