Spec contradicts to itself in one of the examples with type guards

[zhuravlikjb]

In the section about type guards, the last example seems to be invalid:

class NamedItem {  
    name: string;  
}

function getName(obj: any) {  
    return obj instanceof NamedItem ? obj.name : "unknown";  
}

It is stated that the inferred type of the 'getName' function is string, but actually 'any' type won't be narrowed, according to the same spec, and compiler doesn't do that either:

A bug in the spec?

[ahejlsberg]

Yes, that is a bug in the spec.