[Vala] Generics and Contract Programming

[Chris Molozian <chris cmoz me>]

Hey,

I'm unable to figure out how to write comparable code to Vala in Genie. 
How do I write Generic <http://live.gnome.org/Vala/Tutorial#Generics> 
and Contract code 
<http://live.gnome.org/Vala/Tutorial#Assertions_and_Contract_Programming> in 
Genie? e.g.

static void foo<T>(ref string[] args, T opts, ...)
        requires (args.length > 1) {
    // do something
}

Regards,

Chris