Right--if the tailing isn't possible, for any of these varied reasons, it will become a compile error.