{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"_"}]}
                            _ => bug!("TyAndLayout::field({:?}): not applicable", this),
                            ty::Dynamic(data, _, ty::Dyn) => mk_dyn_vtable(data.principal()),
                        }