Fix predicate simplification for incompatible types in push_down_filter (#17521)

* Fix predicate simplification for incompatible types in push_down_filter

Handle the case where scalar values with incompatible types (e.g.,
TimestampMicrosecond vs Time64Nanosecond) cannot be compared during
predicate simplification. The fix catches the comparison error in
find_most_restrictive_predicate and returns None to indicate we can't
simplify when types are incompatible, preventing the "Uncomparable values"
error.

Fixes #17512

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>

* minimize diff

* use proposed fix, add test

* revert other changes

---------

Co-authored-by: Claude <noreply@anthropic.com>

Author: 2 people

datafusion/common/src/file_options/parquet_writer.rs

@@ -166,7 +166,6 @@ impl TryFrom<&TableParquetOptions> for WriterPropertiesBuilder {
     }
 }
 
-
 impl ParquetOptions {
     /// Convert the global session options, [`ParquetOptions`], into a single write action's [`WriterPropertiesBuilder`].
     ///
@@ -502,7 +501,7 @@ mod tests {
                     EnabledStatistics::Chunk => "chunk",
                     EnabledStatistics::Page => "page",
                 }
-                    .into(),
+                .into(),
             ),
             bloom_filter_fpp: bloom_filter_default_props.map(|p| p.fpp),
             bloom_filter_ndv: bloom_filter_default_props.map(|p| p.ndv),
@@ -647,7 +646,7 @@ mod tests {
                 COL_NAME.into(),
                 column_options_with_non_defaults(&parquet_options),
             )]
-                .into(),
+            .into(),
             key_value_metadata: [(key, value)].into(),
             crypto: Default::default(),
         };