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