``` function foo<T>(): T where T super string { return "foo"; } ``` Currently `where` is treated as the name of a type.