From: Rico Tzschichholz <ricotz@ubuntu.com>
Date: Tue, 11 Apr 2023 11:41:48 +0000 (+0200)
Subject: vala: Add pedantic type-argument warning
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=601861eb20f7809b09998360a364e89fee1bbb49;p=thirdparty%2Fvala.git

vala: Add pedantic type-argument warning
---

diff --git a/vala/valadatatype.vala b/vala/valadatatype.vala
index d75eee62a..aa1df9e51 100644
--- a/vala/valadatatype.vala
+++ b/vala/valadatatype.vala
@@ -707,6 +707,8 @@ public abstract class Vala.DataType : CodeNode {
 			error = true;
 			Report.error (source_reference, "too many type arguments for `%s'", type_symbol.to_string ());
 			return false;
+		} else if (context.pedantic && n_type_args < expected_n_type_args) {
+			Report.warning (source_reference, "too few type arguments for `%s'", type_symbol.to_string ());
 		}
 
 		foreach (DataType type in get_type_arguments ()) {