In which case would it be null? `annotatedArg` would be `EmptyTree` and `ty` will be returned.