[ty] Move Type::subtyping_is_always_reflexive to types::relation#23692
Merged
AlexWaygood merged 1 commit intomainfrom Mar 3, 2026
Merged
[ty] Move Type::subtyping_is_always_reflexive to types::relation#23692AlexWaygood merged 1 commit intomainfrom
Type::subtyping_is_always_reflexive to types::relation#23692AlexWaygood merged 1 commit intomainfrom
