From 6a2d50f8dca45eed07950f1814a9c1f91056dc82 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 11 Aug 2017 18:20:01 -0700 Subject: [PATCH 1/1] spacing --- personal/_posts/2017-08-11-types-as-contracts-evaluation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/personal/_posts/2017-08-11-types-as-contracts-evaluation.md b/personal/_posts/2017-08-11-types-as-contracts-evaluation.md index b6fe54a..226d48f 100644 --- a/personal/_posts/2017-08-11-types-as-contracts-evaluation.md +++ b/personal/_posts/2017-08-11-types-as-contracts-evaluation.md @@ -78,7 +78,7 @@ However, it turns out that `mem::uninitialized` is causing other problems as wel This is the most interesting case I found. The `Arc` destructor ends up calling `Arc::drop_slow`, which is implemented as follows: {% highlight rust %} - unsafe fn drop_slow(&mut self) { +unsafe fn drop_slow(&mut self) { let ptr = self.ptr.as_ptr(); // Destroy the data at this time, even though we may not free the box -- 2.30.2