Improve `skip_binder` usage during FlagComputation It looks like there was previously a bug around `ExistentialPredicate::Projection` here, don't know how to best trigger that one to add a regression test though.
For more information about how rustc works, see the rustc dev guide.