[lostmsu]

But they could be mingled with port numbers

[jcgl]

No, because in a context where you'd have a port number, the address is surrounded with brackets: [2001:db8::]:80