{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"};"}]}
                };
                    deny_late_regions: false,
                this.with(scope, |this| intravisit::walk_opaque_ty(this, opaque))