{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
    /// fallback. See the `fallback` module for details.
    /// we record that type variable here. This is later used to inform
    pub(super) diverging_type_vars: RefCell<UnordSet<Ty<'tcx>>>,