From 6a365118c8eb514d00b3e471dececd5eef362bcf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tim=20S=C3=BCberkr=C3=BCb?= Date: Thu, 16 Jan 2025 19:46:34 +0100 Subject: [PATCH] Fix broken tests (#452) --- lang/elaborator/src/conversion_checking/mod.rs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/lang/elaborator/src/conversion_checking/mod.rs b/lang/elaborator/src/conversion_checking/mod.rs index 3b6f69b11..15c3b4106 100644 --- a/lang/elaborator/src/conversion_checking/mod.rs +++ b/lang/elaborator/src/conversion_checking/mod.rs @@ -124,11 +124,11 @@ mod test { }; let ctx = vec![vec![ Binder { - name: VarBind { span: None, id: "a".to_string() }, + name: VarBind::Var { span: None, id: "a".to_string() }, typ: Box::new(TypeUniv { span: None }.into()), }, Binder { - name: VarBind { span: None, id: "v".to_string() }, + name: VarBind::Var { span: None, id: "v".to_string() }, typ: Box::new( Variable { span: None, @@ -162,11 +162,11 @@ mod test { let ctx = vec![vec![ Binder { - name: VarBind { span: None, id: "a".to_string() }, + name: VarBind::Var { span: None, id: "a".to_string() }, typ: Box::new(TypeUniv { span: None }.into()), }, Binder { - name: VarBind { span: None, id: "v'".to_string() }, + name: VarBind::Var { span: None, id: "v'".to_string() }, typ: Box::new( Variable { span: None, @@ -178,7 +178,7 @@ mod test { ), }, Binder { - name: VarBind { span: None, id: "v".to_string() }, + name: VarBind::Var { span: None, id: "v".to_string() }, typ: Box::new( Variable { span: None,