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