Handle Unconstrained Lifetimes in Loops#1094

pascal-huber wants to merge 2 commits intoviperproject:masterviperproject/prusti-dev:masterfrom

pascal-huber:owned-non-aliased-genericspascal-huber/prusti-dev:owned-non-aliased-genericsCopy head branch name to clipboard