Interface for physical plan invariant checking.

datafusion/core/src/physical_optimizer/join_selection.rs

@@ -200,6 +200,11 @@ impl PhysicalOptimizerRule for JoinSelection {
     fn schema_check(&self) -> bool {
         true
     }
+
+    /// [`JoinSelection`] is expected to produce invalid plans.
+    fn executable_check(&self, _previous_plan_is_valid: bool) -> bool {
+        false
+    }
 }
 
 /// Tries to create a [`HashJoinExec`] in [`PartitionMode::CollectLeft`] when possible.

datafusion/core/src/physical_optimizer/sanity_checker.rs

@@ -70,6 +70,11 @@ impl PhysicalOptimizerRule for SanityCheckPlan {
     fn schema_check(&self) -> bool {
         true
     }
+
+    /// [`SanityCheckPlan`] confirms the plan is executable.
+    fn executable_check(&self, _previous_plan_is_valid: bool) -> bool {
+        true
+    }
 }
 
 /// This function propagates finiteness information and rejects any plan with