diff --git a/src/types/typechecker.rs b/src/types/typechecker.rs index d7e321ac..f62936f7 100644 --- a/src/types/typechecker.rs +++ b/src/types/typechecker.rs @@ -1730,7 +1730,6 @@ impl<'a> Inferable<'a> for ast::If<'a> { impl<'a> Inferable<'a> for ast::Else<'a> { fn infer_impl(&mut self, cache: &mut ModuleCache<'a>) -> TypeResult { - // Create new serogate Variable x let x = next_type_variable(cache); //let x = Type::TypeVariable(id); // Construct a Maybe x Type