Extra / added when building url

[mavwolverine]

http_url = HttpUrl('http://test.com/abc')
https_url = HttpUrl.build(
            scheme="https",
            host=http_url.host,
            port=http_url.port,
            path=http_url.path,
            query=http_url.query,
            fragment=http_url.fragment,
)

NOTE: This is a simplified example.

The issue is with

pydantic-core/src/url.rs

Line 180 in 1802ea5

url.push('/');

I think it should first check if path starts with / and add only if it does not.

[Viicos]

See also #1719.