Function miri::shims::env::windows_check_buffer_size

fn windows_check_buffer_size((success, len): (bool, u64)) -> u32

Check whether an operation that writes to a target buffer was successful. Accordingly select return value. Local helper function to be used in Windows shims.