{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"\"simplifying"}]}
            "simplifying constant for the type system `{}`",
        desc { |tcx|
            key.value.display(tcx)