From fbe4585578a043829bfb4d5af087fc7f4bf010b8 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Wed, 10 Dec 2025 20:03:29 -0800
Subject: [PATCH] add FillInDefaultedGenerics<Type = Self> bound for SizeType

---
 crates/fayalite/src/int.rs | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/crates/fayalite/src/int.rs b/crates/fayalite/src/int.rs
index 524ef271..2d1f6d2c 100644
--- a/crates/fayalite/src/int.rs
+++ b/crates/fayalite/src/int.rs
@@ -14,8 +14,9 @@ use crate::{
     sim::value::{SimValue, ToSimValueWithType},
     source_location::SourceLocation,
     ty::{
-        CanonicalType, OpaqueSimValueSize, OpaqueSimValueSlice, OpaqueSimValueWriter,
-        OpaqueSimValueWritten, StaticType, Type, TypeProperties, impl_match_variant_as_self,
+        CanonicalType, FillInDefaultedGenerics, OpaqueSimValueSize, OpaqueSimValueSlice,
+        OpaqueSimValueWriter, OpaqueSimValueWritten, StaticType, Type, TypeProperties,
+        impl_match_variant_as_self,
     },
     util::{ConstBool, ConstUsize, GenericConstBool, GenericConstUsize, interned_bit, slice_range},
 };
@@ -113,7 +114,11 @@ impl_known_size_base! {
 }
 
 pub trait KnownSize:
-    GenericConstUsize + sealed::SizeTypeSealed + sealed::SizeSealed + Default
+    GenericConstUsize
+    + sealed::SizeTypeSealed
+    + sealed::SizeSealed
+    + Default
+    + FillInDefaultedGenerics<Type = Self>
 {
     const SIZE: Self;
     type ArrayMatch<Element: Type>: AsRef<[Expr<Element>]>
@@ -161,6 +166,7 @@ pub trait SizeType:
     + 'static
     + Serialize
     + DeserializeOwned
+    + FillInDefaultedGenerics<Type = Self>
 {
     type Size: Size<SizeType = Self>;
 }