Check for errors after type checking type arguments. (FuelLabs#3569)

Closes FuelLabs#3196

sway-core/src/type_system/type_binding.rs

@@ -154,6 +154,10 @@ impl TypeBinding<CallPath> {
             );
         }
 
+        if !errors.is_empty() {
+            return err(warnings, errors);
+        }
+
         // monomorphize the declaration, if needed
         let new_decl = match unknown_decl {
             ty::TyDeclaration::FunctionDeclaration(original_id) => {

test/src/e2e_vm_tests/test_programs/should_fail/insufficient_type_info_fnret/Forc.lock

@@ -0,0 +1,13 @@
+[[package]]
+name = 'core'
+source = 'path+from-root-DC44092249FC5867'
+
+[[package]]
+name = 'insufficient_type_info_fnret'
+source = 'member'
+dependencies = ['std']
+
+[[package]]
+name = 'std'
+source = 'path+from-root-DC44092249FC5867'
+dependencies = ['core']

test/src/e2e_vm_tests/test_programs/should_fail/insufficient_type_info_fnret/Forc.toml

@@ -0,0 +1,8 @@
+[project]
+authors = ["Fuel Labs <[email protected]>"]
+entry = "main.sw"
+license = "Apache-2.0"
+name = "insufficient_type_info_fnret"
+
+[dependencies]
+std = { path = "../../../../../../sway-lib-std" }

test/src/e2e_vm_tests/test_programs/should_fail/insufficient_type_info_fnret/src/main.sw

@@ -0,0 +1,12 @@
+script;
+
+fn main() {
+    let b = foo::<Option>();
+}
+
+fn foo<T>() -> T {
+   let x = 1;
+   asm(x: x) {
+      x: T
+   }
+}

test/src/e2e_vm_tests/test_programs/should_fail/insufficient_type_info_fnret/test.toml

@@ -0,0 +1,4 @@
+category = "fail"
+
+# check: let b = foo::<Option>();
+# nextln: $()"Option" needs type arguments