{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"assert!("}]}
        assert!(
    ) -> InterpResult<'tcx, MPlaceTy<'tcx, M::Provenance>> {
            matches!(mplace.layout.ty.kind(), ty::Dynamic(_, _, ty::Dyn)),