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
Bug: T278459 Change-Id: I77fb37c1aec17d3e51056f85fdff59821f326cc3