Update from Sydney.
PAXboy was correct - the airline (Qantas in our case) check visas as part of the check-in process and if a passenger does not have a visa the system will not print a boarding card.
The check-in person did say that they can usually resolve any problems by telephoning the Australian immigration authorities, which confirms what yellotriumph said earlier.