Allow cast of any pointer to cast to a trait pointer#98

markrtuttle merged 2 commits intomain-151-2021-04-16model-checking/kani:main-151-2021-04-16from

new-cast-any-pointer-to-trait-pointer-mrtuttlemodel-checking/kani:new-cast-any-pointer-to-trait-pointer-mrtuttleCopy head branch name to clipboard