codegen: Move type-argument checks to SemanticAnalyzer

and don't apply type-argument check on external symbols.

1 files changed, 6 insertions, 1 deletions

diff --git a/vala/valaobjectcreationexpression.vala b/vala/valaobjectcreationexpression.vala
index 5f4fce753..1f6d335fc 100644
--- a/vala/valaobjectcreationexpression.vala
+++ b/vala/valaobjectcreationexpression.vala
@@ -188,7 +188,7 @@ public class Vala.ObjectCreationExpression : Expression {
 			}
 		}
 
-		TypeSymbol type = null;
+		TypeSymbol type;
 
 		if (type_reference == null) {
 			if (member_name == null) {
@@ -237,6 +237,7 @@ public class Vala.ObjectCreationExpression : Expression {
 				type = (TypeSymbol) type_sym;
 				type_reference = new StructValueType ((Struct) type);
 			} else if (type_sym is ErrorCode) {
+				type = (TypeSymbol) type_sym;
 				type_reference = new ErrorType ((ErrorDomain) type_sym.parent_symbol, (ErrorCode) type_sym, source_reference);
 				symbol_reference = type_sym;
 			} else {
@@ -486,6 +487,10 @@ public class Vala.ObjectCreationExpression : Expression {
 			}
 		}
 
+		if (!type.external_package) {
+			context.analyzer.check_type (type_reference);
+		}
+
 		foreach (MemberInitializer init in get_object_initializer ()) {
 			context.analyzer.visit_member_initializer (init, type_reference);
 		}