dyn Trait with Assoc types#811

ssyram wants to merge 6 commits intoAeneasVerif:mainAeneasVerif/charon:mainfrom

ssyram:dyn-trait-basicssyram/charon:dyn-trait-basicCopy head branch name to clipboard