At the moment, CDataFinalizer will not let code inspect the value held without calling |forget|. I have come across at least one case blocked by this: extracting the value from the finalizer to send it to a worker thread. Just as Scoped pointers have a method |get|, we should have a method |value| to extract the value without calling |forget|.

Comment on attachment 603717 [details] [diff] [review] Implementation of attribute |value| Looks like the right idea. In the test, I think this line is wrong because it assumes GC did not run: >+ do_check_eq(count_finalized(size, tc), 0);

Thanks for the feedback. Taras has managed to convince me that I should try and implement OS.File without using this, so I am not going to push that patch much forward for the moment.

Turns out that we can simply cast a CDataFinalizer to its type using ctypes.cast, so this feature is useless.