[Vala] Incorrect type inference for application of generic types

[Thomas Peikenkamp <peikenkamp offis de>]

Is it a known bug that translation of the following program produces
type warnings (during C compilation step) although the program is type
correct?

Thomas





public interface MyInterface<T1> {
        public abstract T1 id (T1 arg);
}

public class MyClass : Object, MyInterface<int?> {
        public int? id (int? a1) {
                return a1;
        }
        static int main (string[] args) {     
                var c = new MyClass ();
                stdout.printf ("result %d\n", c.id (3));
                return 0;
        }
}