I did not bother to support class dereferencing in the implementation due to the lack of interest in it. D has a lot of higher level constructs (like classes) that require careful implementation in the borrow checker. That doesn't mean the approach is unsound.