Function BufferedIO.read

Perform @safe buffered read

auto auto read(ARGS...) (
  void[] buffer,
  ARGS args
) @nogc @trusted;

Notice that if there is data already in the buffers, that data is what will be returned, even if the read requested more (partial result).