You can't Do That: Abstracting over Ownership in Rust with Type Inference (and GATs Don't Help)

Retraction: This post should be disregarded for now as in an attempt to reduce the problem I made a mistake and in fact, reduced it to something that is in fact (trivially) solvable. I will...