{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"drop_ctx(ctx,"}]}
                            drop_ctx(ctx, no_diagnostics);
                            let (ty, _) = path_ctx.lower_partly_resolved_path(def, true);
                            if ty.is_unknown() {