typescript feature request.md

            const typeGuard_= <U extends T, T>(o: T): o is U => true;

            const o: number =33;

            assert(typeGuard_<33, typeof o>(o));

            o; //<= o is 33

            //It would be nice to be able to do:

            assert(typeGuard_<33>(o));

            //...and have the compiler infer the type of T.

            //...and even nicer to be able to do

            const trustMe= <U extends T, T>(o: T): asserts o is U => {};

            trustMe<33>(o);