prototype property missing in lib.d.ts

[vvakame]

following types don't have prototype property.

I think it required by type guards. isn't it?
https://github.com/Microsoft/TypeScript/blob/master/doc/spec.md#420-type-guards

when true, narrows the type of x to the type of the 'prototype' property in C provided it is a subtype of the type of x, or

• Map
  • https://github.com/Microsoft/TypeScript/blob/cf3d28400e57acb5f51c7deaa02794c5f664d84b/bin/lib.d.ts#L1755
• WeakMap
  • https://github.com/Microsoft/TypeScript/blob/cf3d28400e57acb5f51c7deaa02794c5f664d84b/bin/lib.d.ts#L1766
• Set
  • https://github.com/Microsoft/TypeScript/blob/cf3d28400e57acb5f51c7deaa02794c5f664d84b/bin/lib.d.ts#L1778
• RegExp
  • https://github.com/Microsoft/TypeScript/blob/cf3d28400e57acb5f51c7deaa02794c5f664d84b/bin/lib.d.ts#L837

I was created patches. can I send PR?
vvakame@6f54cc4

[vvakame]

I think following code is valid. but current master/HEAD tsc report an unexpected error.

var obj: RegExp | Date;
if(obj instanceof Date) {
    obj.getTime();
} else if(obj instanceof RegExp) {
    // error TS2339: Property 'test' does not exist on type 'RegExp | Date'.
    obj.test(".*");
}

[RyanCavanaugh]

Need to look at this when we revisit lib.d.ts

[vvakame]

#1283

[mhegazy]

@vvakame PR would be appreciated. this part of the library is hand authored.

[vvakame]

@mhegazy I was send a PR! 😉