{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
            // The upper bound of two non-static regions is static: this
            debug!(?ur, ?lub, ?new_lub);
            // means we know nothing about the relationship between these