silence clippy

This commit is contained in:
Folkert 2020-12-21 20:54:26 +01:00
parent fdbff0e2c4
commit 0acf41dd19
2 changed files with 2 additions and 1 deletions

View file

@ -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;

View file

@ -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!()
}
}