{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"ty::Dynamic(_,"}]}
            ty::Dynamic(_, _, ty::Dyn) => {
        match ty.kind() {
                // IN THIS ARM, WE HAVE: