Max Graey

I like this. Also need somehow determine implicit & explicit conversion. For example: ```ts class MyClass { // implicit conversion valueOf(): T { ... } // explicit conversion like `new...

Another variant: ```ts class MyClass { // implicit conversion @operator.implicit("as") as(): T { // or valueOf() ... } // explicit conversion @operator.explicit("as") as_expl(): T { ... } } ```

It might even be worth transferring this to builtins.ts and generating it immediately to binaryen IR.

```js d.v = new A(); // c.v has changed, but compiler don't know ``` well. that's problem on TS. I guess they are fixed this later. I see no reason...

Btw such flow mechanics is quite typical: ```ts var thenFlow = flow.fork(); this.currentFlow = thenFlow; thenFlow.inheritNarrowedTypeIfTrue(condExpr); ``` I'm wondering could we add some method for Flow which include this routine?...

Thanks!

abs, floor, ceil, round etc will be work properly with integers even in JSMath due to `i32 -> f64 -> i32` is invariant. But `u32 -> f64 -> u32` or...

> So by convention, if an element is in global scope, the short name could be used. This however differs slightly from what the PR does (looks a ~lib/ even...

Hi, thanks for PR! Could you add test cases for getter and setters as well?

Original issue `typeof ((): void => {})();` was fixed after #2412 Next ones still need to fix: ```ts ((): void => {})() ? 0 : 0 store(1, ((): void =>...