The following code throws an error when run with enable_type_checks and enable_asserts under frog: bool foo(a) => a; main() { print(foo(null)); } This is unexpected, since Dart allows null as a value of bool.