Borrow checker with GC fallback?

[mkitti]

See the example I gave here:

Eager finalization and smart pointers

This simplified example looks promising. julia> n::Int = 0 0 julia> const safe_free = Base.@assume_effects :nothrow :notaskstate x->(global n += 1;Libc.free(x.ptr)) #3 (generic function with 1 method) julia> mutable struct SafePointer ptr::Ptr{Int} end julia> function f() for i in 1:100 s = SafePointer(Libc.malloc(sizeof(Int))) finalizer(safe_free, s) end nothing end f (generic function with 1 method) ju…