pub fn type_error( message: impl Into<String>, span: Span, expected: impl Display, actual: impl Display, ) -> Diagnostic