From 815cdbbe72559033bf7cc3a0b2e65b996880746f Mon Sep 17 00:00:00 2001
From: hsutter <herb.sutter@gmail.com>
Date: Mon, 25 Jan 2016 10:02:54 -0800
Subject: [PATCH] Refined Enforcement for F.7

---
 CppCoreGuidelines.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CppCoreGuidelines.md b/CppCoreGuidelines.md
index 9f47863..ac38cee 100644
--- a/CppCoreGuidelines.md
+++ b/CppCoreGuidelines.md
@@ -2218,7 +2218,7 @@ We can catch dangling pointers statically, so we don't need to rely on resource
 
 ##### Enforcement
 
-* ??? Difficult: Flag smart pointer arguments where ownership isn't affected.
+* Difficult: Flag smart pointer parameters (parameters of a type that overloads `operator->` or `operator*`) that are never copied, moved from, or assigned to. That means the ownership semantics are not used.
 
 ### <a name="Rf-pure"></a>F.8: Prefer pure functions