Type checking with new VarType

src/codegen/mod.rs

@@ -128,7 +128,6 @@ impl Codegen {
                 let inner = self.lift_type(t.as_ref());
                 CompType::Vec(Box::new(inner)).into()
             }
-            ValueType::Any => panic!("ValueType::Any"),
             ValueType::Record(fields) => {
                 let mut rt_fields = Vec::new();
                 for (lab, ty) in fields.iter() {

src/codegen/rust_ast.rs

@@ -667,7 +667,7 @@ impl TryFrom<ValueType> for RustType {
                 let inner = Self::try_from(t.as_ref().clone())?;
                 Ok(CompType::<Box<RustType>>::Vec(Box::new(inner)).into())
             }
-            ValueType::Any | ValueType::Record(..) | ValueType::Union(..) => Err(value),
+            ValueType::Record(..) | ValueType::Union(..) => Err(value),
         }
     }
 }

src/decoder.rs

@@ -516,7 +516,7 @@ impl<'a> Compiler<'a> {
         let mut compiler = Compiler::new(module);
         // type
         let scope = TypeScope::new();
-        let t = module.infer_format_type(&scope, format)?;
+        let t = module.infer_format_type(&scope, format)?.to_value_type();
         // decoder
         compiler.queue_compile(t, format, Rc::new(Next::Empty));
         while let Some((f, next, n)) = compiler.compile_queue.pop() {