はい、なので根っこの問題は、 AnyFunctionType exprType が構成された時点でもう発生していて

5:57 AM

推論させたかどうかで変わるので、推論器にバグがあるんじゃないかなあ、というところ。