diff --git a/src/console.rs b/src/console.rs
index 10fa10c7..76e5e8d2 100644
--- a/src/console.rs
+++ b/src/console.rs
@@ -293,7 +293,7 @@ pub struct TerminalWriter {
     view: Arc<nutmeg::View<LabModel>>,
 }
 
-impl<'w> MakeWriter<'w> for TerminalWriter {
+impl MakeWriter<'_> for TerminalWriter {
     type Writer = Self;
 
     fn make_writer(&self) -> Self::Writer {
@@ -320,7 +320,7 @@ impl std::io::Write for TerminalWriter {
 /// Write trace output to the debug log file if it's open.
 pub struct DebugLogWriter(Arc<Mutex<Option<File>>>);
 
-impl<'w> MakeWriter<'w> for DebugLogWriter {
+impl MakeWriter<'_> for DebugLogWriter {
     type Writer = Self;
 
     fn make_writer(&self) -> Self::Writer {
diff --git a/src/visit.rs b/src/visit.rs
index 013788b9..6a14f927 100644
--- a/src/visit.rs
+++ b/src/visit.rs
@@ -206,7 +206,7 @@ struct DiscoveryVisitor<'o> {
     error_exprs: &'o [Expr],
 }
 
-impl<'o> DiscoveryVisitor<'o> {
+impl DiscoveryVisitor<'_> {
     fn enter_function(
         &mut self,
         function_name: &Ident,