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