1 files changed, 35 insertions, 15 deletions
diff --git a/src/sdp/ao_conf_make_meta_native.d b/src/sdp/ao_conf_make_meta_native.d
index d95a8dd..6fe38e9 100644
--- a/src/sdp/ao_conf_make_meta_native.d
+++ b/src/sdp/ao_conf_make_meta_native.d
@@ -17,12 +17,18 @@ template SiSUheaderExtractNative() {
     auto rgx = Rgx();
     enum State { off, on }
     string hm, hs;
-    auto header_metadata_and_make_aa(
-      string header,
-      string[string][string] dochead_meta,
-      string[string][string] dochead_make
+    auto header_metadata_and_make_aa(H,Me,Ma)(
+      H  header,
+      Me dochead_meta,
+      Ma dochead_make
     )
-    in { }
+    in {
+      debug(asserts){
+        static assert(is(typeof(header)       == string));
+        static assert(is(typeof(dochead_meta) == string[string][string]));
+        static assert(is(typeof(dochead_make) == string[string][string]));
+      }
+    }
     body {
       scope(exit) {
         destroy(header);
@@ -203,12 +209,18 @@ template SiSUheaderExtractNative() {
       static assert(t.length==2);
       return t;
     }
-    private auto native_header_extract(
-      char[] line,
-      ref int[string] line_occur,
-      ref string[string] an_object,
-      ref int[string] type
+    private auto native_header_extract(L,Lo,O,T)(
+      L line,
+      ref Lo line_occur,
+      ref O an_object,
+      ref T type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)       == char[]));
+        static assert(is(typeof(line_occur) == int[string]));
+        static assert(is(typeof(an_object)  == string[string]));
+        static assert(is(typeof(type)       == int[string]));
+      }
       if (matchFirst(line, rgx.native_header_make)) {   /+ matched header_make +/
         debug(header1) { /+ writeln(line); +/ }
         type["header"]      = State.on;
@@ -241,11 +253,16 @@ template SiSUheaderExtractNative() {
       }
       return an_object;
     }
-    auto header_reset_states_common(
-      ref int[string] line_occur,
-      ref string[string] an_object,
-      ref int[string] type
+    auto header_reset_states_common(Lo,O,T)(
+      ref Lo line_occur,
+      ref O  an_object,
+      ref T  type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line_occur) == int[string]));
+        static assert(is(typeof(an_object)  == string[string]));
+        static assert(is(typeof(type)       == int[string]));
+      }
       line_occur["header_make"] = State.off;
       line_occur["header_meta"] = State.off;
       type["header"] = State.off;
@@ -253,7 +270,10 @@ template SiSUheaderExtractNative() {
       an_object.remove("is");
       an_object.remove("attrib");
     }
-    private auto headerNativeToAA(in char[] src_header) {
+    private auto headerNativeToAA(Hn)(Hn src_header) {
+      debug(asserts){
+        static assert(is(typeof(src_header) == char[]));
+      }
       auto type = flags_type_init;
       type = [
        "header"          : State.off,