I made a https://github.com/dlang/dmd/pull/11440 , just to test. This does not assert on cases where child classes have no incondition at all, which should be an error - but at least the case "parent: in (i == 3)" with "child: in (i == 4)" does not actually seem to happen in practice, at least as far as buildkite can see.