Aliasing static references

Understanding static lifetime and reference coercion in Rust

This is a medium-difficulty Rust language-knowledge question that tests your grasp of lifetime semantics and implicit coercion rules. It appears frequently in interviews where candidates need to demonstrate that they understand not just how to write Rust, but why the type system permits certain conversions that might seem unintuitive at first.

The question probes whether you can reason about the relationship between a &'static str reference and a more general &str reference, and specifically understand the variance and subtyping rules that govern lifetime parameters. This is a critical concept for writing idiomatic Rust code that compiles without unnecessary lifetime annotations or defensive copies.

• Lifetime variance and contravariance in function signatures
• Lifetime subtyping and the concept of "outliving"
• Implicit coercion rules in Rust's type system