Don't Fold Self-Referential ADTs in check_inferred_predicates()#123866
Closed
veera-sivarajan wants to merge 2 commits into
Closed
Don't Fold Self-Referential ADTs in check_inferred_predicates()#123866veera-sivarajan wants to merge 2 commits into
check_inferred_predicates()#123866veera-sivarajan wants to merge 2 commits into
