Add a scheme to find the place where an id was destroyed#1080

Merged

bors merged 8 commits intomasterfrom stacked_borrow_tracing

Dec 10, 2019

+46-11

Commits on Dec 9, 2019

Use the machine stop error instead of abusing other error kinds
oli-obk
committed

Commits on Dec 10, 2019

Update README.md

oli-obk
and
RalfJung
authored