Don't Fold Self-Referential ADTs in check_inferred_predicates()#123866
Closed
veera-sivarajan wants to merge 2 commits intorust-lang:masterfrom veera-sivarajan:bugfix-118163-infinite-loop
+67-3
check_inferred_predicates()#123866