Auto merge of #109971 - WaffleLapkin:yeet_ownership, r=Nilstrieb · RalfJung/miri@b6932fd · GitHub

Commit

Auto merge of #109971 - WaffleLapkin:yeet_ownership, r=Nilstrieb

Browse files

Yeet `owning_ref`

Based on the discussions from rust-lang/rust#109948

This replaces `owning_ref` with a far simpler & safer abstraction.

Fixes #109974

Loading branch information

bors committed Apr 8, 2023

2 parents 8939456 + 4c1f7a9 commit b6932fd