{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"NllRegionVariableOrigin::Placeholder(placeholder)"}]}
            NllRegionVariableOrigin::Placeholder(placeholder) => {
        match self.definitions[r2].origin {
                let r1_universe = self.definitions[r1].universe;