This helps phan to detect unreachable code and also impossible types after the functions. It helps phan to avoid false positives for array keys when the keys are checked before Bug: T240141 Change-Id: I895f70e82b3053a46cd44135b15437e6f82a07b2
Change-Id: Ie1bd0fb52a16277482ce461a50b16550332b6768
Change-Id: I36b26609ccb3f135a22961b32a46cdc06603b3e4