{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
    /// Type-check adjustments are not taken in account in this function.
    /// This process repeats as long as possible (but usually no more than once).
    ///