{"ast_node_type":"variable","tokens":[{"end":68,"kind":"keyword","start":0,"text":"let"}]}
        let res = self.non_local_bounds(&self.inverse_outlives, fr);
        debug!("non_local_upper_bound(fr={:?})", fr);
        assert!(!res.is_empty(), "can't find an upper bound!?");