{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
                // This constraint is marked as holding at one location, we localize it to that
            Locations::Single(location) => {
                // location or its successor, depending on the corresponding MIR