This commit is contained in:
Folkert 2023-11-18 23:05:55 +01:00
parent d7c1be6a44
commit c019ced31d
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
9 changed files with 819 additions and 1301 deletions

View file

@ -540,6 +540,7 @@ pub(crate) fn type_to_var_help(
)
.expect("extension var could not be seen as a tag union");
#[allow(clippy::never_loop)]
for _ in it {
unreachable!("we assert that the ext var is empty; otherwise we'd already know it was a tag union!");
}