{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"None"}]}
                        None => self.err_ty(),
                        Some(adt) => TyBuilder::adt(self.db, adt).build(),
                    },