Definiendo genéricos de TypeScript con seguridad de tipos

¿Puedes definir genéricos con tipos seguros, como puedes hacerlo con c#?

Por ejemplo

public bool Foo<T>() where T : struct { /* */ }

Typescript ahora tiene genéricos, pero ¿puedo realizar una acción similar?

Gracias.

Respuesta #1

Vale, parece que puedes hacer esto:

Foo<T extends IBar>() { /* */ }

Y eso parece hacer que todas las llamadas requieran que T implemente IBar.