If their contracts expire on 30th June they then become free agents and can sign for any other club from 1st July.
I think all the current rules and deadlines are subject to change depending on when we get playing again and when the current season can conclude. Today they announced that the season runs indefinitely. This is a unique situation and normal rules will change. The knock-on effects are going to very challenging.