Gio.BufferedInputStream.prototype.fill_finish

function fill_finish(result: Gio.AsyncResult): Number(gssize) {
    // Gjs wrapper for g_buffered_input_stream_fill_finish()
}