From 72f4913d2bc1e17e503048c49caa93a4fc61e1fa Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Sun, 20 Dec 2020 17:07:52 +0100
Subject: [PATCH] nixos-modules: annotate Init.Config.Policies

---
 nixos-modules/hardware.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/nixos-modules/hardware.nix b/nixos-modules/hardware.nix
index ee1a872..ada37d1 100644
--- a/nixos-modules/hardware.nix
+++ b/nixos-modules/hardware.nix
@@ -332,7 +332,7 @@ with lib;
                 , Init.ServiceRoute.parent "IO_PORT"
                 ]
               , config = Init.Config::{
-                , policies = [ ${toString policies} ]
+                , policies = [ ${toString policies} ] : List Init.Config.Policy.Type
                 }
               }
       '';
@@ -385,7 +385,7 @@ with lib;
                               ]
                             }
                         ]
-                      , policies = [ storagePolicy ]
+                      , policies = [ storagePolicy ] : List Init.Config.Policy.Type
                       }
               }
       '';