Check LockedInput::computeStorePath()

1 files changed, 4 insertions, 0 deletions

diff --git a/src/libexpr/flake/flake.cc b/src/libexpr/flake/flake.cc
index a8f05efb6..21d98089f 100644
--- a/src/libexpr/flake/flake.cc
+++ b/src/libexpr/flake/flake.cc
@@ -584,6 +584,8 @@ static void prim_callFlake(EvalState & state, const Pos & pos, Value * * args, V
             throw Error("the content hash of flake '%s' doesn't match the hash recorded in the referring lockfile",
                 lazyInput->lockedInput.ref);
 
+        assert(flake.sourceInfo->storePath == lazyInput->lockedInput.computeStorePath(*state.store));
+
         callFlake(state, flake, lazyInput->lockedInput, v);
     } else {
         FlakeCache flakeCache;
@@ -593,6 +595,8 @@ static void prim_callFlake(EvalState & state, const Pos & pos, Value * * args, V
             throw Error("the content hash of repository '%s' doesn't match the hash recorded in the referring lockfile",
                 lazyInput->lockedInput.ref);
 
+        assert(sourceInfo.storePath == lazyInput->lockedInput.computeStorePath(*state.store));
+
         state.mkAttrs(v, 8);
 
         assert(state.store->isValidPath(sourceInfo.storePath));