tree b88db9d1a7bee55d3b7c00a813e2b2636fa6b15c
parent b4d5d8ee88e4129f9fc0edfa0b44d408dd3d3699
author Dani Ferreira Franco Moura <danimoura@google.com> 1668690859 -0800
committer Copybara-Service <copybara-worker@google.com> 1668690891 -0800

Add test cases for nullability verification of template-instantiated methods.

In particular, we added tests to check that nullability information gets propagated in templates that have multiple arguments and in templates that have integer arguments.

Some test cases have commented out lines that currently produce false negatives. We hope to develop the infrastructure to warn on those cases soon.

PiperOrigin-RevId: 489185007