{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"lifetime:"}]}
                    lifetime: self.rbv.defs.get(&lifetime_ref.hir_id.local_id).cloned(),
                let scope = Scope::ObjectLifetimeDefault {
                    s: self.scope,