Branded lifetimes are painful in practice as they infect _everything_ and often make it impossible to interop with other things.

I don't think you'd find a GC library to be useful to most developers if it required that. For those who might need it, it can be useful but for everyone else you're just paying for unnecessary pain.