diff --git a/packages/svelte/messages/compile-errors/script.md b/packages/svelte/messages/compile-errors/script.md
index 174eff1d24..8c168cae8c 100644
--- a/packages/svelte/messages/compile-errors/script.md
+++ b/packages/svelte/messages/compile-errors/script.md
@@ -170,7 +170,7 @@ It's possible to export a snippet from a `<script module>` block, but only if it
 
 ## state_invalid_opaque_declaration
 
-> `$state.opaque(...)` must be declared with an destructured array pattern and the state expression must be an identifier.
+> `$state.opaque(...)` must be declared with an destructured array pattern and the state expression and invalidation expression must be an identifier.
 
 For example: `let [state, invalidate] = $state.opaque(data);`
 
diff --git a/packages/svelte/src/compiler/phases/2-analyze/visitors/CallExpression.js b/packages/svelte/src/compiler/phases/2-analyze/visitors/CallExpression.js
index b669441cb5..d7e26c9e53 100644
--- a/packages/svelte/src/compiler/phases/2-analyze/visitors/CallExpression.js
+++ b/packages/svelte/src/compiler/phases/2-analyze/visitors/CallExpression.js
@@ -98,7 +98,8 @@ export function CallExpression(node, context) {
 				(parent.type !== 'VariableDeclarator' ||
 					parent.id.type !== 'ArrayPattern' ||
 					parent.id.elements.length !== 2 ||
-					parent.id.elements[0]?.type !== 'Identifier')
+					parent.id.elements[0]?.type !== 'Identifier' ||
+					parent.id.elements[1]?.type !== 'Identifier')
 			) {
 				e.state_invalid_opaque_declaration(node);
 			}