Skip to content

[memory-lifetime] Teach the verifier that select_enum_addr doesn't write to memory.#32177

Merged
gottesmm merged 1 commit intoswiftlang:masterfrom gottesmm:pr-f5820e0408ca527e9c54f4b3c46468e4706e7c80Jun 4, 2020

Commits

Commits on Jun 4, 2020