tree 71950f28e112f970eff97419a732d491ddc730c4
parent a83f933a9da258cf037e3cab37cd486bfd861a7d
author Ralf Jung <post@ralfj.de> 1717012424 +0200
committer Ralf Jung <post@ralfj.de> 1717012424 +0200

drop_in_place: weaken the claim of equivalence with drop(ptr.read())