Used to reproduce an issue with migrating to null safety - View it on GitHub