From e94fcf5be98374e5f3cf565a89948fd048e7652d Mon Sep 17 00:00:00 2001
From: Yaroslav Bolyukin <iam@lach.pw>
Date: Tue, 05 May 2026 00:54:30 +0000
Subject: [PATCH] fix(macros): derive(FromUntyped) type check


---
--- a/crates/jrsonnet-macros/src/typed.rs
+++ b/crates/jrsonnet-macros/src/typed.rs
@@ -407,6 +407,7 @@
 
 			impl #impl_generics FromUntyped for #ident #ty_generics #where_clause {
 				fn from_untyped(value: Val) -> JrResult<Self> {
+					<Self as Typed>::TYPE.check(&value)?;
 					let obj = value.as_obj().expect("shape is correct");
 					Self::parse(&obj)
 				}

-- 
gitstuff