How to combine nginx “stream” and “http” for the same servername?

Question

I would like to handle 2 servernames, say "web1.example.com" and "web2.example.com" on the same port (443) in the same nginx config where the first shoul