83f5b1f740
This CL enables type inference for bool expressions used in 'if', 'while', 'for', 'assert', '?:', '&&', '||' and '!' in TFA in order to eliminate more bool checks. AOT snapshot size of flutter_gallery (in release mode): Before: Instructions(CodeSize): 7297024 Total(CodeSize): 11833828 After: Instructions(CodeSize): 7159120 Total(CodeSize): 11648470 Issue: https://github.com/dart-lang/sdk/issues/32718 Change-Id: If4212ec493ff9f4443be6da02bdd75f74c8c8c42 Reviewed-on: https://dart-review.googlesource.com/49823 Commit-Queue: Alexander Markov <alexmarkov@google.com> Reviewed-by: Zach Anderson <zra@google.com>