We have some places in the code base where we're currently using pragmas to work around edge cases in the language's support for nullability annotations. This is a tracking issue for those pragmas to link to.

The language team is discussing how best to address these edge cases. Once those changes come online and a new compiler is available, we can remove our pragmas.