{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"\"({:?}:"}]}
            "({:?}: {:?}) due to {:?} ({:?}) ({:?})",
            formatter,
            self.sup, self.sub, self.locations, self.variance_info, self.category,