We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1d0d0ac commit cc6753aCopy full SHA for cc6753a
1 file changed
crates/sats/src/sum_type.rs
@@ -176,7 +176,7 @@ impl SumType {
176
177
pub fn type_check(&self, sv: &SumValue, typespace: &Typespace) -> bool {
178
self.get_variant_by_tag(sv.tag)
179
- .is_some_and(|var| var.algebraic_type.type_check(&sv.value, typespace))
+ .is_some_and(|var| var.algebraic_type.type_check(&sv.value, typespace))
180
}
181
182
0 commit comments