Hi,
there was indeed an Error with Miracast I've dealed with last year, but this was caused by a Security Bug in Checkpoint (iirc we had E80.71 and it was fixed in E80.80+). This bug caused an issue creating or modifying (like driver update) network adapters, after Checkpoint Endpoint Security has been installed. We noticed when we wanted to update the WiFi driver on some devices, but after the driver was installed, the device just had a yellow exclamation mark in the device manager.
Uninstalling Checkpoint immediately resolved the issue. After reinstalling checkpoint the device still worked.
This also affected Wireless Display / Miracast. The WiFi direct connection is created upon the first time you try to connect to a wireless display. With the bug mentioned above, the creation of the WiFi direct connection failed kind of and Wireless display didn't work. If it was used once, before the mentioned checkpoint version has been installed, it also worked afterwards.
Also, if you utilize client firewalls or the checkpoint's local firewall, make sure you configure it correctly. I think Trendmicro has a nice KB article for IP ranges and ports.
Kind regards