Utkarsh Rai

@nic-chen are you working on this? @ahrtr I was able to reproduce the issue. If @nic-chen is not working on this can I take it up? Also which of the...

I have come up with [this](https://github.com/typetools/checker-framework/compare/master...UtR491:issue4006?diff=split). Currently it works only for the given case. Are there other cases where the Regex Checker analysis can be useful for the Nullness Checker?...

Hi @mernst, I have created a PR (#4199) and the CI builds pass. A review would be appreciated.

For a minimum complete implementation we also require these API operations. ``` ProvisionIpamPool ProvisionPublicIpv4PoolCidr EnableIpamOrganizationAdminAccount DisableIpamOrganizationAdminAccount ```