It is the so-called empty function, which diverges, e.g. throws an exception if called.