Control-flow always enters a while(true)-loop. Return the correct inferred StatementType.
Control-flow always enters a while(true)-loop. Return the correct inferred StatementType.

BUG=http://code.google.com/p/dart/issues/detail?id=3019
TEST=added to tests/legl/type_checker_test.dart
R=kasperl@google.com

Review URL: https://chromiumcodereview.appspot.com//10387112

git-svn-id: c93d8a2297af3b929165606efe145742a534bc71@7620 260f80e4-7a28-3924-810f-c04153c831b5

dart-lang/sdk,dart-archive/dart-sdk,dartino/dart-sdk,dart-archive/dart-sdk,dart-archive/dart-sdk,dart-lang/sdk,dart-archive/dart-sdk,dartino/dart-sdk,dartino/dart-sdk,dart-archive/dart-sdk,dart-archive/dart-sdk,dartino/dart-sdk,dartino/dart-sdk,dartino/dart-sdk,dart-archive/dart-sdk,dart-lang/sdk,dart-lang/sdk,dart-lang/sdk,dart-archive/dart-sdk,dartino/dart-sdk,dart-lang/sdk,dartino/dart-sdk,dartino/dart-sdk,dart-lang/sdk,dart-archive/dart-sdk,dart-lang/sdk