{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":")"}]}
    ) {
        errors_buffer: &mut RegionErrors<'tcx>,
        for (fr, fr_definition) in self.definitions.iter_enumerated() {