Sony had a Zeiss 85mm f/1.2 lens prototype. Sony decided to not launch it because it was way to big to be used on the FE cameras.
Zeiss made once such a lens for the Contax system. The Zeiss Planar 85mm 1.2 which now sells for more than $3,000 used on eBay. Just to say that the lens would not only have been big…but also rather expensive.