vala: Accept NullType as generic type argument

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 24f060f2a7fb10c1e821f236a0e0363f4b2e6f69..07b617fe37cfc2a934dd1c9ead0225a163836290 100644 (file)
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -698,6 +698,7 @@ TESTS = \
        generics/parameter-invalid-initializer.test \
        generics/parameter-sizeof-initializer.vala \
        generics/member-dup-destroy.vala \
+       generics/null-type.vala \
        generics/property-int-cast.vala \
        generics/reference-transfer.vala \
        generics/string-literal-comparison.vala \

diff --git a/tests/generics/null-type.vala b/tests/generics/null-type.vala
new file mode 100644 (file)
index 0000000..a427ee8
--- /dev/null
+++ b/tests/generics/null-type.vala
@@ -0,0 +1,10 @@
+void foo<T> (T t) {
+       assert (t == null);
+       assert (typeof (T) == Type.INVALID);
+       assert (T.dup == null);
+       assert (T.destroy == null);
+}
+
+void main () {
+       foo (null);
+}

diff --git a/vala/valasemanticanalyzer.vala b/vala/valasemanticanalyzer.vala
index 141d19cdd2b1a27247b81a2fc47aa289178d74d8..5509422697404293d967419009f23a3942c6aa0d 100644 (file)
--- a/vala/valasemanticanalyzer.vala
+++ b/vala/valasemanticanalyzer.vala
@@ -1314,6 +1314,7 @@ public class Vala.SemanticAnalyzer : CodeVisitor {
 
        void check_type_argument (DataType type_arg) {
                if (type_arg is GenericType
+                   || type_arg is NullType
                    || type_arg is PointerType
                    || type_arg is VoidType
                    || is_reference_type_argument (type_arg)