Restrict patch to NamedTuple

Author: tkf

README.md

@@ -7,7 +7,7 @@
 
 ConstructionBase is a very lightwight package, that provides primitive functions for construction of objects:
 ```julia
-setproperties(obj::MyType, patch)
+setproperties(obj::MyType, patch::NamedTuple)
 constructorof(MyType)
 ```
 These functions can be overloaded and doing so provides interoperability the following packages:

src/ConstructionBase.jl

@@ -72,7 +72,7 @@ function assert_hasfields(T, fnames)
 end
 
 """
-    setproperties(obj, patch)
+    setproperties(obj, patch::NamedTuple)
 
 Return a copy of `obj` with attributes updates accoring to `patch`.
 
@@ -111,15 +111,15 @@ S("A", 2, "cc")
 # Overloading
 
 **WARNING** The signature `setproperties(obj::MyType; kw...)` should never be overloaded.
-Instead `setproperties(obj::MyType, patch)` should be overloaded.
+Instead `setproperties(obj::MyType, patch::NamedTuple)` should be overloaded.
 """
 function setproperties end
 
 function setproperties(obj; kw...)
     setproperties(obj, (;kw...))
 end
 
-@generated function setproperties(obj, patch)
+@generated function setproperties(obj, patch::NamedTuple)
     assert_hasfields(obj, fieldnames(patch))
     args = map(fieldnames(obj)) do fn
         if fn in fieldnames(patch)
@@ -134,7 +134,7 @@ end
     )
 end
 
-@generated function setproperties(obj::NamedTuple, patch)
+@generated function setproperties(obj::NamedTuple, patch::NamedTuple)
     # this function is only generated to force the following check
     # at compile time
     assert_hasfields(obj, fieldnames(patch))