tree 5cdad5de9a9da3803cd9db8f7a8c7da51bb40c27
parent 5c081b2fe10f592050c9fde2c5a3537291261e96
author Dani Ferreira Franco Moura <danimoura@google.com> 1668524940 -0800
committer Copybara-Service <copybara-worker@google.com> 1668524992 -0800

Make nullability verification work for simple template-instantiated methods.

When a method of a class template instatiation returns exactly a template parameter, we can propagate the nullability of the template argument into the return type.

For example, we can now warn on the following pointer dereference:

```
template<typename Elt>
struct vec {
  Elt first();
};

void target(vec<int * _Nullable> xs) {
  *xs.first();  // [[unsafe]]
}
```

PiperOrigin-RevId: 488649171