On Wed, Jun 3, 2026 at 7:32 AM David Rowley <[email protected]> wrote: > On Wed, 3 Jun 2026 at 10:13, Richard Guo <[email protected]> wrote: > > On Wed, Jun 3, 2026 at 5:59 AM David Rowley <[email protected]> wrote: > > > Yes, that's not intentional. Your proposed fix looks correct. Are you > > > happy to go ahead with pushing and backpatching that?
> > Thanks for taking a look. Yeah, I'm happy to push that. I'm kind of > > unsure whether this needs to be back-patched, since it doesn't lead to > > wrong plans, so it isn't a live bug in practice. > I'd prefer it to be fully gone in all versions that have it, if you > don't mind doing that. Done. Back-patched through v15, where the buggy check was first introduced. - Richard
