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, 3 insertions, 3 deletions

diff --git a/src/commands/check.rs b/src/commands/check.rs
index 40de288a28..0bea482c14 100644
--- a/src/commands/check.rs
+++ b/src/commands/check.rs
@@ -15,13 +15,13 @@ pub struct Check {
     expr: Option<String>,
 }
 
-fn run_expr(expr: String) -> Result<Type> {
+fn run_expr(expr: String) -> Result<Type<'static>> {
     let (_, parsed) = parser::expr(&expr)?;
     let hir_expr = tc::typecheck_expr(parsed)?;
-    Ok(hir_expr.type_().clone())
+    Ok(hir_expr.type_().to_owned())
 }
 
-fn run_path(path: PathBuf) -> Result<Type> {
+fn run_path(path: PathBuf) -> Result<Type<'static>> {
     todo!()
 }