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