> It's not those types, in particular, it's because C++11 allows you move your ownership model into the type system.

But it doesn't ensure that you use it correctly. Most use-after-free isn't the result of not understanding the ownership semantics; it's the result of understanding it but forgetting to handle some edge case or another.