Full IFR separation exists at all times.
I had no doubt that it didn't
I was just curious to know if, for example, the first thing a Heathrow inbound on a westerly would know about the EGLC inbound on an easterly passing underneath him would be if his TCAS mentioned it, or whether he would be advised of this by ATC... not worried, just terminally curious