fix(patterns): more merge repair

endojs · Dec 21, 2023 · e24eced · e24eced
1 parent 947e166
commit e24eced
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/patterns/src/patterns/patternMatchers.js b/packages/patterns/src/patterns/patternMatchers.js
@@ -1178,7 +1178,7 @@ const makePatternKit = () => {
       return (
         checkKind(specimen, 'copyBytes', check) &&
         // eslint-disable-next-line @endo/restrict-comparison-operands
-        (/** @type {CopyBytes} */ (specimen).byteLength <= byteLengthLimit ||
+        (/** @type {import('./types.js').CopyBytes} */ (specimen).byteLength <= byteLengthLimit ||
           check(
             false,
             X`bytes ${specimen} must not be bigger than ${byteLengthLimit}`,