{"ast_node_type":"variable","tokens":[{"end":34,"kind":"keyword","start":0,"text":"if"}]}
                if let Err(terr) =
                    self.eq_types(literal_ty, normalized_ty, locations, ConstraintCategory::Boring)