Pros

Strong static typing
compiles to C, no useless complexity like the JVM. Strong
foundation, C is here to stay and compiles to most obscure
architectures
small binary size
pattern matching and sum types
immutability by default
option/result types
compile time reflection
most Rust features, but memory management is automatic via GC...