Function precision_cast_preserves_uniqueness 

fn precision_cast_preserves_uniqueness(
    from: Option<TimestampPrecision>,
    to: Option<TimestampPrecision>,
) -> bool

Reports whether a cast that rounds a timestamp from precision from to precision to maps distinct values to distinct values.