Useful when one can guarantee the class cannot participate in
cycles, but the compiler cannot prove it on its own