Add query to check for impossible predicates, use it to skip NoopMethodCall
and Inline
#95398
Closed
compiler-errors wants to merge 2 commits intorust-lang:masterfrom compiler-errors:impossible-preds
+131-127
NoopMethodCall
and Inline
#95398