From e5c977840601a8b84e8e262c408691d1d62b673a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20D=C4=9Bdi=C4=8D?= <developer@dedic.eu>
Date: Thu, 4 Sep 2025 14:54:09 +0200
Subject: [PATCH 1/3] test(no-navigation-without-resolve): added
 ResolvedPathname tests

---
 .../valid/goto-resolved-pathname01-input.svelte      | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 packages/eslint-plugin-svelte/tests/fixtures/rules/no-navigation-without-resolve/valid/goto-resolved-pathname01-input.svelte

diff --git a/packages/eslint-plugin-svelte/tests/fixtures/rules/no-navigation-without-resolve/valid/goto-resolved-pathname01-input.svelte b/packages/eslint-plugin-svelte/tests/fixtures/rules/no-navigation-without-resolve/valid/goto-resolved-pathname01-input.svelte
new file mode 100644
index 000000000..1e9130638
--- /dev/null
+++ b/packages/eslint-plugin-svelte/tests/fixtures/rules/no-navigation-without-resolve/valid/goto-resolved-pathname01-input.svelte
@@ -0,0 +1,12 @@
+<script lang="ts">
+	import { type ResolvedPathname } from '$app/types';
+	import { goto } from '$app/navigation';
+
+	interface Props {
+		href: ResolvedPathname;
+	}
+
+	const { href }: Props = $props();
+
+	goto(href);
+</script>

From 0e29f499880983ac72ee8b87bbf8e4b6e3952570 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20D=C4=9Bdi=C4=8D?= <developer@dedic.eu>
Date: Thu, 4 Sep 2025 14:56:52 +0200
Subject: [PATCH 2/3] test(no-navigation-without-resolve): added TS to regular
 variable tests

---
 .../valid/goto-resolved01-input.svelte                          | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/eslint-plugin-svelte/tests/fixtures/rules/no-navigation-without-resolve/valid/goto-resolved01-input.svelte b/packages/eslint-plugin-svelte/tests/fixtures/rules/no-navigation-without-resolve/valid/goto-resolved01-input.svelte
index e29e15798..f380109c5 100644
--- a/packages/eslint-plugin-svelte/tests/fixtures/rules/no-navigation-without-resolve/valid/goto-resolved01-input.svelte
+++ b/packages/eslint-plugin-svelte/tests/fixtures/rules/no-navigation-without-resolve/valid/goto-resolved01-input.svelte
@@ -1,4 +1,4 @@
-<script>
+<script lang="ts">
 	import { resolve } from '$app/paths';
 	import { goto } from '$app/navigation';
 

From a81abe50769cc384abf6a9825a86ee8b5ea35541 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20D=C4=9Bdi=C4=8D?= <developer@dedic.eu>
Date: Thu, 4 Sep 2025 14:57:19 +0200
Subject: [PATCH 3/3] feat(no-navigation-without-resolve): added support for
 ResolvedPathname types

---
 .changeset/icy-mammals-cover.md               |  5 ++++
 .../rules/no-navigation-without-resolve.ts    | 28 ++++++++++++++-----
 2 files changed, 26 insertions(+), 7 deletions(-)
 create mode 100644 .changeset/icy-mammals-cover.md

diff --git a/.changeset/icy-mammals-cover.md b/.changeset/icy-mammals-cover.md
new file mode 100644
index 000000000..025752957
--- /dev/null
+++ b/.changeset/icy-mammals-cover.md
@@ -0,0 +1,5 @@
+---
+'eslint-plugin-svelte': patch
+---
+
+feat(no-navigation-without-resolve): added support for ResolvedPathname types
diff --git a/packages/eslint-plugin-svelte/src/rules/no-navigation-without-resolve.ts b/packages/eslint-plugin-svelte/src/rules/no-navigation-without-resolve.ts
index 06ad91df8..65ccd659e 100644
--- a/packages/eslint-plugin-svelte/src/rules/no-navigation-without-resolve.ts
+++ b/packages/eslint-plugin-svelte/src/rules/no-navigation-without-resolve.ts
@@ -5,6 +5,7 @@ import { FindVariableContext } from '../utils/ast-utils.js';
 import { findVariable } from '../utils/ast-utils.js';
 import type { RuleContext } from '../types.js';
 import type { AST } from 'svelte-eslint-parser';
+import { type TSTools, getTypeScriptTools } from 'src/utils/ts-utils/index.js';
 
 export default createRule('no-navigation-without-resolve', {
 	meta: {
@@ -48,6 +49,8 @@ export default createRule('no-navigation-without-resolve', {
 		]
 	},
 	create(context) {
+		const tsTools = getTypeScriptTools(context);
+
 		let resolveReferences: Set<TSESTree.Identifier> = new Set<TSESTree.Identifier>();
 		return {
 			Program() {
@@ -60,7 +63,7 @@ export default createRule('no-navigation-without-resolve', {
 				} = extractFunctionCallReferences(referenceTracker);
 				if (context.options[0]?.ignoreGoto !== true) {
 					for (const gotoCall of gotoCalls) {
-						checkGotoCall(context, gotoCall, resolveReferences);
+						checkGotoCall(context, gotoCall, resolveReferences, tsTools);
 					}
 				}
 				if (context.options[0]?.ignorePushState !== true) {
@@ -69,6 +72,7 @@ export default createRule('no-navigation-without-resolve', {
 							context,
 							pushStateCall,
 							resolveReferences,
+							tsTools,
 							'pushStateWithoutResolve'
 						);
 					}
@@ -79,6 +83,7 @@ export default createRule('no-navigation-without-resolve', {
 							context,
 							replaceStateCall,
 							resolveReferences,
+							tsTools,
 							'replaceStateWithoutResolve'
 						);
 					}
@@ -105,7 +110,8 @@ export default createRule('no-navigation-without-resolve', {
 						!isResolveCall(
 							new FindVariableContext(context),
 							node.value[0].expression,
-							resolveReferences
+							resolveReferences,
+							tsTools
 						))
 				) {
 					context.report({ loc: node.value[0].loc, messageId: 'linkWithoutResolve' });
@@ -193,13 +199,14 @@ function extractFunctionCallReferences(referenceTracker: ReferenceTracker): {
 function checkGotoCall(
 	context: RuleContext,
 	call: TSESTree.CallExpression,
-	resolveReferences: Set<TSESTree.Identifier>
+	resolveReferences: Set<TSESTree.Identifier>,
+	tsTools: TSTools | null
 ): void {
 	if (call.arguments.length < 1) {
 		return;
 	}
 	const url = call.arguments[0];
-	if (!isResolveCall(new FindVariableContext(context), url, resolveReferences)) {
+	if (!isResolveCall(new FindVariableContext(context), url, resolveReferences, tsTools)) {
 		context.report({ loc: url.loc, messageId: 'gotoWithoutResolve' });
 	}
 }
@@ -208,6 +215,7 @@ function checkShallowNavigationCall(
 	context: RuleContext,
 	call: TSESTree.CallExpression,
 	resolveReferences: Set<TSESTree.Identifier>,
+	tsTools: TSTools | null,
 	messageId: string
 ): void {
 	if (call.arguments.length < 1) {
@@ -216,7 +224,7 @@ function checkShallowNavigationCall(
 	const url = call.arguments[0];
 	if (
 		!expressionIsEmpty(url) &&
-		!isResolveCall(new FindVariableContext(context), url, resolveReferences)
+		!isResolveCall(new FindVariableContext(context), url, resolveReferences, tsTools)
 	) {
 		context.report({ loc: url.loc, messageId });
 	}
@@ -227,7 +235,8 @@ function checkShallowNavigationCall(
 function isResolveCall(
 	ctx: FindVariableContext,
 	node: TSESTree.CallExpressionArgument,
-	resolveReferences: Set<TSESTree.Identifier>
+	resolveReferences: Set<TSESTree.Identifier>,
+	tsTools: TSTools | null
 ): boolean {
 	if (
 		node.type === 'CallExpression' &&
@@ -238,9 +247,13 @@ function isResolveCall(
 	) {
 		return true;
 	}
-	if (node.type !== 'Identifier') {
+	if (node.type !== 'Identifier' || tsTools === null) {
 		return false;
 	}
+	const tsNode = tsTools.service.esTreeNodeToTSNodeMap.get(node);
+	console.log(tsNode);
+	console.log(tsTools.service.program.getTypeChecker().getTypeAtLocation(tsNode));
+	/*
 	const variable = ctx.findVariable(node);
 	if (
 		variable === null ||
@@ -251,6 +264,7 @@ function isResolveCall(
 		return false;
 	}
 	return isResolveCall(ctx, variable.identifiers[0].parent.init, resolveReferences);
+	*/
 }
 
 function expressionIsEmpty(url: TSESTree.CallExpressionArgument): boolean {