builtin.dart's stdin has wrong variable type

[DartBot]

This issue was originally filed by joaope...@gmail.com

---

What steps will reproduce the problem?

1. Try to run a file with the DartVM in checked mode while calling the "stdin" method.
2. Like so: dart --enable-type-checks stdin_test.dart
3. With this file content:
   main() {
     var any = stdin;
   }

What is the expected output? What do you see instead?

Expect no error. But get this:

Unhandled exception:
Failed type check: type SocketInputStream is not assignable to type OutputStream of function result in dart:builtin at line 26, column 28.
 0. Function: '::.get:stdin' url: 'dart:builtin' line:26 col:28
 1. Function: '::.main' url: '/home/dewd/t_/stdin_test.dart' line:3 col:13

What version of the product are you using? On what operating system?

Bleeding-edge Dart. Linux manga 3.0.0-12-generic-pae #­20-Ubuntu SMP Fri Oct 7 16:37:17 UTC 2011 i686 i686 i386 GNU/Linux

Please provide any additional information below.

Follows a patch.

---

Attachment:
patch_builtin.txt (370 Bytes)

[iposva-google]

Please make sure that you add test coverage for these. The harness will run them both in checked and production mode.

---

cc @madsager.
Set owner to @sgjesse.
Added Area-VM, Accepted labels.

[sgjesse]

Fixed in https://code.google.com/p/dart/source/detail?r=1793.

---

Added Fixed label.