Skip to content

Comments

[ty] Avoid caching trivial is-redundant-with calls#21989

Merged
MichaReiser merged 1 commit intomainfrom
micha/avoid-caching-trivial-is-redundant-with
Dec 15, 2025
Merged

[ty] Avoid caching trivial is-redundant-with calls#21989
MichaReiser merged 1 commit intomainfrom
micha/avoid-caching-trivial-is-redundant-with

Commits

Commits on Dec 15, 2025