diff --git a/rr_frontend/.cargo/config.toml b/rr_frontend/.cargo/config.toml
index 986cb3513e8bb74ce095cf29d35369a7443bddc3..2621f3d4cc1d529099400f863a678994b28cfea1 100644
--- a/rr_frontend/.cargo/config.toml
+++ b/rr_frontend/.cargo/config.toml
@@ -32,7 +32,6 @@ rustflags = [
     "-Aclippy::string_lit_as_bytes",
 
     # clippy::restriction
-    "-Aclippy::empty_structs_with_brackets",
     "-Aclippy::get_unwrap",
     "-Aclippy::if_then_some_else_none",
     "-Aclippy::impl_trait_in_params",
diff --git a/rr_frontend/refinedrust_frontend/src/bin/refinedrust-rustc.rs b/rr_frontend/refinedrust_frontend/src/bin/refinedrust-rustc.rs
index 305af2c9b2ffb9593e440b6fb35228482adef560..a87e66e9b04c284d600842e1685445fbdbb52454 100644
--- a/rr_frontend/refinedrust_frontend/src/bin/refinedrust-rustc.rs
+++ b/rr_frontend/refinedrust_frontend/src/bin/refinedrust-rustc.rs
@@ -40,7 +40,7 @@ fn get_rr_version_info() -> String {
 }
 
 /// Callbacks for the `RefinedRust` frontend.
-struct RRCompilerCalls {}
+struct RRCompilerCalls;
 
 // From Prusti.
 fn mir_borrowck(tcx: TyCtxt<'_>, def_id: LocalDefId) -> mir_borrowck::ProvidedValue<'_> {
diff --git a/rr_frontend/translation/src/spec_parsers/const_attr_parser.rs b/rr_frontend/translation/src/spec_parsers/const_attr_parser.rs
index 84f7cb49823df64ffdcd4e33234f668b99253263..4d4b3cd0217908e6b8b7d1d7a8e903748e103502 100644
--- a/rr_frontend/translation/src/spec_parsers/const_attr_parser.rs
+++ b/rr_frontend/translation/src/spec_parsers/const_attr_parser.rs
@@ -26,7 +26,7 @@ pub struct ConstAttrs {
     pub name: String,
 }
 
-pub struct VerboseConstAttrParser {}
+pub struct VerboseConstAttrParser;
 
 impl VerboseConstAttrParser {
     pub const fn new() -> Self {
diff --git a/rr_frontend/translation/src/spec_parsers/crate_attr_parser.rs b/rr_frontend/translation/src/spec_parsers/crate_attr_parser.rs
index 2cc2655b0886aa07eeb7cfd026adc461fce7cca8..c036fea0f82da42a2339aba8fe0f2afe56d8260d 100644
--- a/rr_frontend/translation/src/spec_parsers/crate_attr_parser.rs
+++ b/rr_frontend/translation/src/spec_parsers/crate_attr_parser.rs
@@ -26,7 +26,7 @@ pub struct CrateAttrs {
     pub context_params: Vec<coq::Param>,
 }
 
-pub struct VerboseCrateAttrParser {}
+pub struct VerboseCrateAttrParser;
 
 impl VerboseCrateAttrParser {
     pub const fn new() -> Self {
diff --git a/rr_frontend/translation/src/spec_parsers/enum_spec_parser.rs b/rr_frontend/translation/src/spec_parsers/enum_spec_parser.rs
index 1433a4c64ec92e8d1b5c8eefadbe64214d9f508c..a945fae3b682780aa7a1a1adfa6dedd769a1ffa4 100644
--- a/rr_frontend/translation/src/spec_parsers/enum_spec_parser.rs
+++ b/rr_frontend/translation/src/spec_parsers/enum_spec_parser.rs
@@ -67,7 +67,7 @@ impl<'a> parse::Parse<ParseMeta<'a>> for EnumPattern {
     }
 }
 
-pub struct VerboseEnumSpecParser {}
+pub struct VerboseEnumSpecParser;
 
 impl VerboseEnumSpecParser {
     pub const fn new() -> Self {
diff --git a/rr_frontend/translation/src/spec_parsers/module_attr_parser.rs b/rr_frontend/translation/src/spec_parsers/module_attr_parser.rs
index b7dc251f02ff04f50cf80e2344f13ea8cc894546..233b4a69e403134cd35395b9e776803608059279 100644
--- a/rr_frontend/translation/src/spec_parsers/module_attr_parser.rs
+++ b/rr_frontend/translation/src/spec_parsers/module_attr_parser.rs
@@ -29,7 +29,7 @@ pub struct ModuleAttrs {
     pub context_params: Vec<coq::Param>,
 }
 
-pub struct VerboseModuleAttrParser {}
+pub struct VerboseModuleAttrParser;
 
 impl VerboseModuleAttrParser {
     pub const fn new() -> Self {
diff --git a/rr_frontend/translation/src/spec_parsers/struct_spec_parser.rs b/rr_frontend/translation/src/spec_parsers/struct_spec_parser.rs
index e4a1b5c98510fe757d500441eb60e1585f6edb26..3d69fafa6403e7e36f78e148a8dc6aedcdae1561 100644
--- a/rr_frontend/translation/src/spec_parsers/struct_spec_parser.rs
+++ b/rr_frontend/translation/src/spec_parsers/struct_spec_parser.rs
@@ -167,7 +167,7 @@ impl<U> parse::Parse<U> for InvariantSpecFlags {
     }
 }
 
-pub struct VerboseInvariantSpecParser {}
+pub struct VerboseInvariantSpecParser;
 
 impl VerboseInvariantSpecParser {
     pub const fn new() -> Self {