diff --git a/compiler/zrc_typeck/src/tast/stmt.rs b/compiler/zrc_typeck/src/tast/stmt.rs
index 3965170..e090b3a 100644
--- a/compiler/zrc_typeck/src/tast/stmt.rs
+++ b/compiler/zrc_typeck/src/tast/stmt.rs
@@ -126,7 +126,7 @@ impl<'input> ArgumentDeclarationList<'input> {
         }
     }
 }
-impl<'input> Display for ArgumentDeclarationList<'input> {
+impl Display for ArgumentDeclarationList<'_> {
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
         let (Self::Variadic(args) | Self::NonVariadic(args)) = self;
 
@@ -153,7 +153,7 @@ pub struct ArgumentDeclaration<'input> {
     /// The type of the parameter.
     pub ty: Spanned<Type<'input>>,
 }
-impl<'input> Display for ArgumentDeclaration<'input> {
+impl Display for ArgumentDeclaration<'_> {
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
         write!(f, "{}: {}", self.name, self.ty)
     }
diff --git a/compiler/zrc_typeck/src/tast/ty.rs b/compiler/zrc_typeck/src/tast/ty.rs
index 33007cb..0063e18 100644
--- a/compiler/zrc_typeck/src/tast/ty.rs
+++ b/compiler/zrc_typeck/src/tast/ty.rs
@@ -19,7 +19,7 @@ pub struct Fn<'input> {
     /// The function's return type
     pub returns: Box<Type<'input>>,
 }
-impl<'input> Display for Fn<'input> {
+impl Display for Fn<'_> {
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
         write!(f, "(fn({}) -> {})", self.arguments, self.returns)
     }
@@ -74,7 +74,7 @@ pub enum Type<'input> {
     Union(IndexMap<&'input str, Type<'input>>),
 }
 
-impl<'input> Display for Type<'input> {
+impl Display for Type<'_> {
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
         match self {
             Self::I8 => write!(f, "i8"),
diff --git a/compiler/zrc_typeck/src/typeck/block.rs b/compiler/zrc_typeck/src/typeck/block.rs
index 2c10db6..1a21c85 100644
--- a/compiler/zrc_typeck/src/typeck/block.rs
+++ b/compiler/zrc_typeck/src/typeck/block.rs
@@ -26,7 +26,7 @@ pub enum BlockReturnAbility<'input> {
     /// Any sub-blocks of this block MAY return. At least one MUST return.
     MustReturn(TastType<'input>),
 }
-impl<'input> BlockReturnAbility<'input> {
+impl BlockReturnAbility<'_> {
     /// Determine the [`BlockReturnAbility`] of a sub-scope. `MustReturn`
     /// become`MayReturn`.
     #[must_use]