I checked Fil-C out and it looks great. How is this different from Fil-C? Apart from the obvious LLVM stuff
replies(1):
(These features are still essentially unsafe: the unique pointer implementation still permits UAF, for example, because nothing prevents another thread from holding the pointer and failing to observe that it has been freed.)