From cb18370fc70efe1e0b9c935b7032970fafd36ca3 Mon Sep 17 00:00:00 2001 From: Florian Brosch Date: Tue, 24 Jan 2012 21:07:50 +0100 Subject: [PATCH] Report warning for type arguments in type check expressions --- vala/valatypecheck.vala | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/vala/valatypecheck.vala b/vala/valatypecheck.vala index de3d30a29..22147334a 100644 --- a/vala/valatypecheck.vala +++ b/vala/valatypecheck.vala @@ -116,6 +116,10 @@ public class Vala.TypeCheck : Expression { return false; } + if (context.profile == Profile.GOBJECT && type_reference.get_type_arguments ().size > 0) { + Report.warning (_data_type.source_reference, "Type argument list has no effect"); + } + value_type = context.analyzer.bool_type; return !error; -- 2.47.2