expect-type provides compile-time tests for types, allowing assertions about the form of references...