tree 3ab8e4a9a7b397b51f165077aafbc41b7f4fee81
parent 3e2233b75507c32e81cf0ba9e8610bcd3f8acf1e
author Lázaro Clapp <lazaro@uber.com> 1594678515 -0400
committer GitHub <noreply@github.com> 1594678515 -0400
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfDNzzCRBK7hj4Ov3rIwAAdHIIAHuypgoOQ8AINKh/oUHE6O6W
 iHwwD3+VdhStEcSYsspMRVklaoEG8Acd/b7L1LKbE+pezuWKw7LO1mHPwjwrI4JE
 KEEf3wQzda8vQSikzdGmDkL85VgsCEx7t3733SXfC9qMj394GByW8MnjGYDzIWMF
 /yLM0k26oByE8J6bA9kxvL8e1Pls+othGt0x0LlJzwwxZKhZtNNxzvkasjscuRV2
 8myY6H7EFcXVIXYL1lByV2yENru+KJ92tGuQkprdUp8n1qL7DyawyS7SLa/S/WNR
 hKWhlntdSF1T100/4yXnS9yLPFMRpYTb/t9S4CclfHNVIl8JfhnAbB7tllJUyHw=
 =/zxi
 -----END PGP SIGNATURE-----
 

Allow library models of the form null param -> null return (#407)

This is equivalent to what `@Contract(!null -> !null)` already
allows for first party code.

In particular, we use this to implement the nullability contract
of `Optional.orElse(...)` and resolve #406.