{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"NllRegionVariableOrigin::Placeholder(placeholder)"}]}
                NllRegionVariableOrigin::Placeholder(placeholder) => {
                    self.check_bound_universal_region(fr, placeholder, errors_buffer);