The DNS lookup would be encrypted. The IP would of course not be. This means the ISP would be able to see the IP but not domain [1] of your destination.
[1]: See SNI: https://www.cloudflare.com/learning/ssl/what-is-sni/
[1]: See SNI: https://www.cloudflare.com/learning/ssl/what-is-sni/
Also, I remember reading something like HTTPS was leaking URLs...
Though as mentioned this is moot due to SNI, in most cases :(
> Also, I remember reading something like HTTPS was leaking URLs...
Yep, that's SNI