clippy: Fix redundant_static_lifetimes

rr_frontend/.cargo/config.toml

@@ -81,7 +81,6 @@ rustflags = [
 
     # clippy::style
     "-Aclippy::new_without_default",
-    "-Aclippy::redundant_static_lifetimes",
     "-Aclippy::single_char_add_str",
     "-Aclippy::single_component_path_imports",
     "-Aclippy::single_match",

rr_frontend/radium/src/coq.rs

@@ -11,7 +11,7 @@ use indent_write::fmt::IndentWriter;
 
 use crate::write_list;
 
-pub(crate) const BASE_INDENT: &'static str = "  ";
+pub(crate) const BASE_INDENT: &str = "  ";
 
 /// Represents a Coq path of the form
 /// `From A.B.C Import D`