{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"debug!(\"generate:"}]}
        debug!("generate: constraints at: {:#?}", self.locations);
        let tcx = self.infcx.tcx;