This is a userlevel implementation of borrowchk in Zig.

This system is not borrowchk, as it requires to pass in unique types for operations like acquiring a borrow, and reading from it. This library does not check for uniqueness of the types passed in, it's up to the programmer to do this correctly. An example of what is ment by unique type:

var cell = RefCell(usize).init(10);

var borrow = cell.borrow(.{});
defer borrow.release();

var value = borrow.read(.{});

Here we see .{} two times. it is required to pass those in.

master

• 0.2
  • Allow the use of .{} where previously struct {} was required.
• 0.1
  • Initial implementation

• kprotty
• suirad