about summary refs log tree commit diff
path: root/src/commands/check.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/commands/check.rs')
-rw-r--r--src/commands/check.rs6
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!()
 }