{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
                // This corresponds to `dyn Trait<..>`. In this case, we should
            ty::Dynamic(obj, ..) => {
                // use the explicit predicates as well.