{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            None => instance.args.type_at(0),
        let ty::Dynamic(preds, lifetime, kind) = upcast_ty.kind() else {