We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3945d75 commit 1d0d0acCopy full SHA for 1d0d0ac
1 file changed
crates/sats/src/algebraic_type.rs
@@ -449,7 +449,7 @@ impl AlgebraicType {
449
450
pub fn type_check(&self, value: &AlgebraicValue, typespace: &Typespace) -> bool {
451
match (self, value) {
452
- (_, AlgebraicValue::Min | AlgebraicValue::Max) => true
+ (_, AlgebraicValue::Min | AlgebraicValue::Max) => true,
453
(AlgebraicType::Ref(r), _) => {
454
if let Some(resolved_ty) = typespace.get(*r) {
455
resolved_ty.type_check(value, typespace)
0 commit comments