Add generic params to snapshot constructors#91

JonasAlaif wants to merge 1 commit intoAurel300:rewrite-2023Aurel300/prusti-dev:rewrite-2023from

viperproject:snaps-with-gensviperproject/prusti-dev:snaps-with-gensCopy head branch name to clipboard