{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"ty::GenericArgKind::Type(t)"}]}
                ty::GenericArgKind::Type(t) => {
            match result_value.kind() {
                    if let ty::Bound(debruijn, b) = t.kind() {