single expression クロージャの型推定が出来なくて（バグ1）、その理由を探すロジックが変な診断（バグ2）。って感じかと。 (edited)