{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"ty::Dynamic(bounds,"}]}
            ty::Dynamic(bounds, ..) => bounds,
            | ty::Bound(..) => panic!("unexpected self type for `{goal:?}`"),
        };