{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// invoked after all type-inference variables have been bound --
    /// flow of the inferencer. The key point is that it is
    /// right before lexical region resolution.