Migrate filter.dart to null safety. (#3734)
Migrate filter.dart to null safety. (#3734)


flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools