Merge branch 'main' into return-keyword

This commit is contained in:
Sam Mohr 2024-10-26 06:50:16 -07:00 committed by GitHub
commit 39687fdb97
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
22 changed files with 34 additions and 111 deletions

View file

@ -974,7 +974,7 @@ fn deep_copy_type_vars<C: CopyEnv>(
// Everything else is a mechanical descent.
Structure(flat_type) => match flat_type {
EmptyRecord | EmptyTuple | EmptyTagUnion => Structure(flat_type),
EmptyRecord | EmptyTagUnion => Structure(flat_type),
Apply(symbol, arguments) => {
descend_slice!(arguments);

View file

@ -237,9 +237,6 @@ fn index_var(
};
return Ok(std::iter::repeat(Variable::NULL).take(num_fields).collect());
}
FlatType::EmptyTuple => {
return Ok(std::iter::repeat(Variable::NULL).take(0).collect());
}
FlatType::EmptyTagUnion => {
internal_error!("empty tag unions are not indexable")
}