ts 2.5 and flow 0.57

flow/3.js

@@ -1,7 +1,6 @@
 /* @flow */
 
-// almost, exactly the same code as 3.ts,
-// but no unsafe cast
+// exactly the same code as 3.ts
 
 type Foo = { type: 'foo' , foo: string };
 type Bar = { type: 'bar' , bar: string };
@@ -11,7 +10,6 @@ type MyType = Foo | Bar;
 
 export function test(t: MyType) {
   if (t.type === 'foo') {
-    // no need to keep things in sync manually
     // $ExpectError
     console.log(t.bar) // error
   }

package.json

@@ -10,7 +10,7 @@
   "author": "",
   "license": "ISC",
   "dependencies": {
-    "flow-bin": "^0.27.0",
-    "typescript": "^2.0.0"
+    "flow-bin": "^0.57.3",
+    "typescript": "^2.5.0"
   }
 }

ts/3.ts

@@ -5,6 +5,6 @@ type MyType = Foo | Bar;
 
 export function test(t: MyType) {
   if (t.type === 'foo') {
-    console.log((<Bar>t).bar) // error, as expected
+    console.log(t.bar) // error, as expected
   }
 }