Universally quantified type variables

Implement universally quantified type variables, both explicitly given
by the user and inferred by the type inference algorithm.

1 files changed, 4 insertions, 1 deletions

diff --git a/src/interpreter/error.rs b/src/interpreter/error.rs
index e0299d1805..268d6f479a 100644
--- a/src/interpreter/error.rs
+++ b/src/interpreter/error.rs
@@ -10,7 +10,10 @@ pub enum Error {
     UndefinedVariable(Ident<'static>),
 
     #[error("Unexpected type {actual}, expected type {expected}")]
-    InvalidType { actual: Type, expected: Type },
+    InvalidType {
+        actual: Type<'static>,
+        expected: Type<'static>,
+    },
 }
 
 pub type Result<T> = result::Result<T, Error>;