{"ast_node_type":"variable","tokens":[{"end":30,"kind":"keyword","start":0,"text":"if"}]}
            if let Err(terr) =
            // `relate_tys`.
                self.eq_types(a, b, Locations::All(span), ConstraintCategory::BoringNoLocation)