diff --git a/Cargo.toml b/Cargo.toml
index 100624c..6c0a2fb 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -35,13 +35,11 @@ match_same_arms = "warn"
 redundant_closure_for_method_calls = "warn"
 redundant_else = "warn"
 semicolon_if_nothing_returned = "warn"
-type_complexity = "allow"
 undocumented_unsafe_blocks = "warn"
 unwrap_or_default = "warn"
 ptr_as_ptr = "warn"
 ptr_cast_constness = "warn"
 ref_as_ptr = "warn"
-too_long_first_doc_paragraph = "allow"
 std_instead_of_core = "warn"
 std_instead_of_alloc = "warn"
 alloc_instead_of_core = "warn"
diff --git a/examples/demonstrations/all_tuples.rs b/examples/demonstrations/all_tuples.rs
index 0d89270..2acff1b 100644
--- a/examples/demonstrations/all_tuples.rs
+++ b/examples/demonstrations/all_tuples.rs
@@ -9,9 +9,6 @@ pub trait Foo {
 
 macro_rules! impl_tuple_foo {
     ($(#[$meta:meta])* $($name: ident),*) => {
-        #[allow(unused_variables)]
-        #[allow(non_snake_case)]
-        #[allow(clippy::unused_unit)]
         $(#[$meta])*
         impl<$($name: Foo),*> Foo for ($($name,)*) {
             const FOO_HARDER: bool = true $(&& $name::FOO_HARDER)*;
diff --git a/src/lib.rs b/src/lib.rs
index 7a842ef..aa4c4a9 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,5 +1,3 @@
-// FIXME(15321): solve CI failures, then replace with `#![expect()]`.
-#![allow(missing_docs, reason = "Not all docs are written yet, see #3492.")]
 #![cfg_attr(docsrs, feature(doc_auto_cfg))]
 
 use proc_macro::TokenStream;
@@ -12,6 +10,7 @@ use syn::{
     token::Comma,
     Attribute, Error, Ident, LitInt, LitStr, Result,
 };
+
 struct AllTuples {
     fake_variadic: bool,
     macro_ident: Ident,
diff --git a/tools/compile_fail_utils/tests/example_tests/basic_test.rs b/tools/compile_fail_utils/tests/example_tests/basic_test.rs
index 0f8ab07..4956de6 100644
--- a/tools/compile_fail_utils/tests/example_tests/basic_test.rs
+++ b/tools/compile_fail_utils/tests/example_tests/basic_test.rs
@@ -1,6 +1,8 @@
+//! A basic example of a compilation failure test.
+//! Use this as a template or for help with syntax.
+
 // Compiler warnings also need to be annotated.
-// We don't want to annotate all the unused variables, so let's instruct the compiler to ignore them.
-#![allow(unused_variables)]
+#![allow(unused_variables, reason = "The variables are for basic demonstration purposes and don't need to be used.")]
 
 fn bad_moves() {
     let x = String::new();