worth warning if `PROPAGATING_ALL_BUT` is non-null inside this block?