{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"Ok(ty::Binder::dummy(def.all_field_tys(cx).iter_instantiated(cx,"}]}
            Ok(ty::Binder::dummy(def.all_field_tys(cx).iter_instantiated(cx, args).collect()))
        ty::Adt(def, args) => {
        }