On: Rust's type system is Turing-complete (2017)

[cphoover]

If there is a practical reason you aren't using a uniform format for time I would consider this a case where compile-time type validation make sense... but for most applications I work on I would argue this is not a concern.