use unreachable!

This commit is contained in:
Folkert 2022-03-17 19:50:16 +01:00
parent fc233d2a4f
commit f8a73e0baa
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -1556,7 +1556,7 @@ fn type_to_variable<'a>(
aliases.instantiate(subs, rank, pools, arena, *symbol, alias_variables);
let alias_variable = match instantiated {
Err(_) => panic!("Alias {:?} is not available", symbol),
Err(_) => unreachable!("Alias {:?} is not available", symbol),
Ok(alias_variable) => alias_variable,
};