その通りです。コード補完実装担当者としては（不正確かもしれないけど）展開前ボディでタイプチェックしてなんとか候補を出すしかないと考えています。