{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"ty::Dynamic(data,"}]}
            ty::Dynamic(data, ..) if let Some(p) = data.principal() => {
        match *raw_self_ty.kind() {
                // Subtle: we can't use `instantiate_query_response` here: using it will