{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"Locations::Single(location)"}]}
            Locations::Single(location) => {
                // This constraint is marked as holding at one location, we localize it to that