fix type issue

jcp19 · jcp19 · commit 18fe982b37a4 · 2025-12-17T11:40:47.000+01:00
diff --git a/pkg/addr/isdas.go b/pkg/addr/isdas.go
@@ -127,7 +127,7 @@ func asParseBGP(s string) (retAs AS, retErr error) {
 	// @ strconv.Exp2to10(30)
 	// @ strconv.Exp2to10(20)
 	// @ strconv.Exp2to10(10)
-	// @ assert _as < strconv.Exp(2, BGPASBits)
+	// @ assert _as < uint64(strconv.Exp(2, BGPASBits))
 	return AS(_as), nil
 }
 

Original file line number	Diff line number	Diff line change
`@@ -127,7 +127,7 @@ func asParseBGP(s string) (retAs AS, retErr error) {`
`127`	`127`	`// @ strconv.Exp2to10(30)`
`128`	`128`	`// @ strconv.Exp2to10(20)`
`129`	`129`	`// @ strconv.Exp2to10(10)`
`130`		`- // @ assert _as < strconv.Exp(2, BGPASBits)`
	`130`	`+ // @ assert _as < uint64(strconv.Exp(2, BGPASBits))`
`131`	`131`	`return AS(_as), nil`
`132`	`132`	`}`
`133`	`133`