>>958
なるほど

If the type of a function contains a class, then this
is translated into a dictionary that is passed at runtime.

The translation simply assures that the appropriate dictionaries
passed at run-time; ...

One drawback of our translation method is that it introduces
new parameters to be passed at runtime, ...

等々しつこく書いてあったのでてっきり今もランタイムかと。
その後コンパイル時に完結できるようになっていたんですね。ありがとうございます。