Update snaps

Author: Glyphack

typechecker/src/type_check/checker.rs

@@ -37,7 +37,7 @@ impl<'a> TypeChecker<'a> {
         match declaration {
             Declaration::Variable(v) => {
                 if let Some(type_annotation) = &v.type_annotation {
-                    self.infer_expr_type(&type_annotation)
+                    type_inference::get_type_from_annotation(type_annotation)
                 } else if let Some(source) = &v.inferred_type_source {
                     self.infer_expr_type(&source)
                 } else {
@@ -46,7 +46,7 @@ impl<'a> TypeChecker<'a> {
             }
             Declaration::Function(f) => {
                 if let Some(type_annotation) = f.function_node.returns.clone() {
-                    type_inference::get_type_from_annotation(*type_annotation)
+                    type_inference::get_type_from_annotation(&type_annotation)
                 } else {
                     panic!("Infer the type based on the return statement")
                 }

typechecker/src/type_check/type_inference.rs

@@ -2,7 +2,7 @@ use parser::ast::{self, BinaryOperator};
 
 use super::types::Type;
 
-pub fn get_type_from_annotation(type_annotation: ast::Expression) -> Type {
+pub fn get_type_from_annotation(type_annotation: &ast::Expression) -> Type {
     let expr_type = match type_annotation {
         ast::Expression::Name(name) => match name.id.as_str() {
             "int" => Type::Int,

typechecker/testdata/output/typechecker__build__tests__type_check_call.snap.new renamed to typechecker/testdata/output/typechecker__build__tests__type_check_call.snap

@@ -1,6 +1,5 @@
 ---
 source: typechecker/src/build.rs
-assertion_line: 172
 description: "def function() -> int:\n    return 1\n\na = function()\nb = function() + \"1\"\nc = a + 1\nd = function() + 1\n"
 expression: result
 ---