1 driver_rlink_unable_to_read = failed to read rlink file: `{$err}`
3 driver_rlink_wrong_file_type = The input does not look like a .rlink file
5 driver_rlink_empty_version_number = The input does not contain version number
7 driver_rlink_encoding_version_mismatch = .rlink file was produced with encoding version `{$version_array}`, but the current version is `{$rlink_version}`
9 driver_rlink_rustc_version_mismatch = .rlink file was produced by rustc version `{$rustc_version}`, but the current version is `{$current_version}`
11 driver_rlink_no_a_file = rlink must be a file