diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2022-08-01 14:32:06 +0200 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2022-08-09 08:44:28 +0200 |
commit | 661f08ea4d92c37a566b388c543240ac71cef6dd (patch) | |
tree | 4528bc32d0f5a5588fae909131f66680cb78b037 /vala/valaparameter.vala | |
parent | e74724d2646b0cda103984f1d6c4045db2262726 (diff) | |
download | vala-661f08ea4d92c37a566b388c543240ac71cef6dd.tar.gz |
vala: Enforce required type-arguments on parameter/return types of callables
This stricter check applies to delegate types in source files only.
Fixes https://gitlab.gnome.org/GNOME/vala/issues/1342
Diffstat (limited to 'vala/valaparameter.vala')
-rw-r--r-- | vala/valaparameter.vala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vala/valaparameter.vala b/vala/valaparameter.vala index 656188848..fb68ab069 100644 --- a/vala/valaparameter.vala +++ b/vala/valaparameter.vala @@ -208,6 +208,9 @@ public class Vala.Parameter : Variable { if (!ellipsis) { if (!external_package) { context.analyzer.check_type (variable_type); + if (variable_type is DelegateType) { + variable_type.check_type_arguments (context); + } // check symbol availability if ((parent_symbol == null || !parent_symbol.external_package) && variable_type.type_symbol != null) { |