From 601861eb20f7809b09998360a364e89fee1bbb49 Mon Sep 17 00:00:00 2001 From: Rico Tzschichholz Date: Tue, 11 Apr 2023 13:41:48 +0200 Subject: [PATCH] vala: Add pedantic type-argument warning --- vala/valadatatype.vala | 2 ++ 1 file changed, 2 insertions(+) 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 ()) { -- 2.47.2