Open object for semtypes

lucasavila00 · May 10, 2024 · 846fad4 · 846fad4
1 parent fc38d9b
commit 846fad4
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/packages/beff-core/src/subtyping/mod.rs b/packages/beff-core/src/subtyping/mod.rs
@@ -115,7 +115,7 @@ impl<'a> ToSemTypeConverter<'a> {
  .collect::<Result<_>>()?;
  let rest = match rest {
  Some(r) => self.to_sem_type(r, builder)?,
- None => SemTypeContext::never().into(),
+ None => SemTypeContext::unknown().into(),
  };
  Ok(builder.mapping_definition(Rc::new(vs), rest).into())
  }

diff --git a/packages/beff-core/src/subtyping/to_schema.rs b/packages/beff-core/src/subtyping/to_schema.rs
@@ -184,9 +184,14 @@ impl<'a, 'b> SchemerContext<'a, 'b> {
  }
 
  let rest = if mt.rest.is_empty(self.ctx.0) {
- None
+ panic!("rest should not be empty, all records are open")
  } else {
- Some(Box::new(self.convert_to_schema(&mt.rest, None)))
+ if mt.rest.is_any() {
+ None
+ } else {
+ let schema = self.convert_to_schema(&mt.rest, None);
+ Some(Box::new(schema))
+ }
  };
 
  JsonSchema::Object {