TypeScript Language Specification v1.5

interface A { a: string; }
interface B extends A { b: string; }
interface C extends B { c: string; }
interface G {
x: T;
y: U;
}
var v1: G;
// Ok
var v2: G; // Ok, equivalent to G
var v3: G;
// Error, A not valid argument for U
var v4: G; // Ok
var v5: G;
// Ok
var v6: G;
// Error, wrong number of arguments
var v7: G;
// Error, no arguments
A type argument is simply a Type and may itself be a type reference to a generic type, as demonstrated by
'v4' in the example above.
As described in section 3.6, a type reference to a generic type G designates a type wherein all occurrences
of G's type parameters have been replaced with the actual type arguments supplied in the type reference.
For example, the declaration of 'v1' above is equivalent to:
var v1: {
x: { a: string; }
y: { a: string; b: string; c: string };
};
3.7.3 Object Type Literals
An object type literal defines an object type by specifying the set of members that are statically
considered to be present in instances of the type. Object type literals can be given names using interface
declarations but are otherwise anonymous.
ObjectType:
{ TypeBody opt }
TypeBody:
TypeMemberList ; opt
TypeMemberList:
TypeMember
TypeMemberList ; TypeMember
37