fn limited_by_opt_bisect<'tcx, P>( tcx: TyCtxt<'tcx>, def_path: String, limit: usize, pass: &P, ) -> boolwhere P: MirPass<'tcx> + ?Sized,