From e769fa8dbad4d69ccab9e13112e20be4b8bd91bf Mon Sep 17 00:00:00 2001 From: Jakub Doka Date: Tue, 17 Dec 2024 22:29:16 +0100 Subject: [PATCH] removing error for needless @as temporarly Signed-off-by: Jakub Doka --- lang/src/son.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lang/src/son.rs b/lang/src/son.rs index 78200b34..60b3543a 100644 --- a/lang/src/son.rs +++ b/lang/src/son.rs @@ -1477,7 +1477,8 @@ impl<'a> Codegen<'a> { && ity.try_upcast(ty) == Some(ty) && val.ty == ity { - self.error(pos, "the type is known at this point, remove the hint"); + _ = pos; + //self.error(pos, "the type is known at this point, remove the hint"); } self.assert_ty(expr.pos(), &mut val, ty, "hinted expr"); Some(val)