File buffer instance (nullable).
Created by buffer provider when needed. Each File object has at most one buffer instance. Buffer is created lazily when first accessed. Buffer can be null if not yet created or after cleanup. Buffer type depends on BufferProvider implementation (GTK vs non-GTK).
Always check for null before using buffer methods:
if (file.buffer == null) {
file.manager.buffer_provider.create_buffer(file);
}
var contents = yield file.buffer.read_async();