It gets tricky because of things like early exits and generics. One way to think of it is that ~Ignorable is a similar condition to ~Copyable, but a distinct one. The technical term for this is “linear types” or “relevant types”, and you can find some previous discussion on this forum. I think this one’s probably the most complete recent thread on it: