fix(experimental elaborator): Fix duplicate resolve_type on self type and don't leak a trait impl's generics

compiler/noirc_frontend/src/elaborator/expressions.rs

@@ -84,10 +84,10 @@ impl<'context> Elaborator<'context> {
                     expr_type: inner_expr_type.clone(),
                     expr_span: span,
                 });
+            }
 
-                if i + 1 == statements.len() {
-                    block_type = stmt_type;
-                }
+            if i + 1 == statements.len() {
+                block_type = stmt_type;
             }
         }