[checker] Fix bug where recursive type could be inferred by copybara-service[bot] · Pull Request #1738 · google/cel-cpp
The cycle check during inference had a bug where certain recursive definitions could be inferred. This would lead to the checker eventually crashing when it tried to realize a concrete type from the substitution map. ex. `[optional.none()].map(x, [?x, null, x])` PiperOrigin-RevId: 817307359
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters