Tweaked F.7 enforcement

This commit is contained in:
hsutter 2016-01-25 11:05:25 -08:00
parent 815cdbbe72
commit ad66f6ecda

View File

@ -2218,7 +2218,7 @@ We can catch dangling pointers statically, so we don't need to rely on resource
##### Enforcement ##### Enforcement
* 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. * Difficult: Flag smart pointer parameters (parameters of a type that overloads `operator->` or `operator*`) that are never copied, moved from, or assigned to, or passed along to another function that could do so. That means the ownership semantics are not used.
### <a name="Rf-pure"></a>F.8: Prefer pure functions ### <a name="Rf-pure"></a>F.8: Prefer pure functions