Poke comment

src/record_ts.h

@@ -517,6 +517,10 @@ struct RecordThreadState : ThreadState {
                     uint32_t size, void *out) override;
 
     /// Asynchronously update a single element in memory
+    /// Recording of this function is currently not supported, and the function
+    /// will throw an error. At the time of writing, \c poke is only called from
+    /// \c jit_var_write. \c src will therefore not be a pointer, allocated with
+    /// \c jitc_malloc, and we cannot track it.
     void poke(void *dst, const void *src, uint32_t size) override;
 
     void aggregate(void *dst, AggregationEntry *agg, uint32_t size) override;