Add erasure of AnyHeapRef-bounded type parameters and better allocator examples#1227

Open

gsps wants to merge 2 commits intoscala-2from add-better-allocator-example

+149-25

Commits on Jan 18, 2022

Add AllocatorMonoAbstract example and fix bugs in postcondition transformation
gsps
committed
Add AllocatorPolyAbstract example and erase of AnyHeapRef-bounded type params in EffectElaboration.
gsps
committed