{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"Some(self.unification_database().adt_variance(*id_a)),"}]}
                Some(self.unification_database().adt_variance(*id_a)),
                self,
                sub_a,