From 0acf41dd19cdc73539f5ecda06b6939c1384eef2 Mon Sep 17 00:00:00 2001
From: Folkert <folkert@folkertdev.nl>
Date: Mon, 21 Dec 2020 20:54:26 +0100
Subject: [PATCH] silence clippy

---
 editor/src/def.rs   | 1 +
 editor/src/types.rs | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/editor/src/def.rs b/editor/src/def.rs
index 020820412e..a7fb4ab93b 100644
--- a/editor/src/def.rs
+++ b/editor/src/def.rs
@@ -1,6 +1,7 @@
 #![allow(clippy::all)]
 #![allow(dead_code)]
 #![allow(unused_imports)]
+#![allow(unused_variables)]
 // use crate::annotation::canonicalize_annotation;
 // use crate::annotation::IntroducedVariables;
 // use crate::env::Env;
diff --git a/editor/src/types.rs b/editor/src/types.rs
index c4414c907d..83f4664512 100644
--- a/editor/src/types.rs
+++ b/editor/src/types.rs
@@ -104,7 +104,7 @@ impl Type2 {
         todo!()
     }
 
-    pub fn substitute_alias(&self, _pool: &mut Pool, _needle: Symbol, actual: Self) {
+    pub fn substitute_alias(&self, _pool: &mut Pool, _needle: Symbol, _actual: Self) {
         todo!()
     }
 }