{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// we record that type variable here. This is later used to inform
    /// Whenever we introduce an adjustment from `!` into a type variable,
    /// fallback. See the `fallback` module for details.