From b99a1fb91bd3aea140db4a043d48395c6b73a216 Mon Sep 17 00:00:00 2001 From: Joe Hellerstein Date: Mon, 9 Sep 2024 15:41:43 -0400 Subject: [PATCH] WIP --- lattices/src/ght_lazy.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/lattices/src/ght_lazy.rs b/lattices/src/ght_lazy.rs index 79602574cba2..d7515046c4e8 100644 --- a/lattices/src/ght_lazy.rs +++ b/lattices/src/ght_lazy.rs @@ -342,7 +342,7 @@ pub trait ColtNode { // 4. Somehow cast the prefix of Nones on each call to have Head = Rest::Head // Problem: How? -#[sealed] +// #[sealed] // impl<'a, First, Rest> ColtNode for var_type!(Option<&'a First>, ...Rest) // where // First: GeneralizedHashTrieNode< @@ -381,6 +381,7 @@ pub trait ColtNode { // } // } // } +#[sealed] impl<'a, Head, Rest> ColtNode for var_type!(Option<&'a GhtLeaf>, ...Rest) where Rest: ColtNode, @@ -432,7 +433,7 @@ where Node: GeneralizedHashTrieNode, { type Schema = as GeneralizedHashTrieNode>::Schema; - type SuffixSchema = Node::SuffixSchema; + type SuffixSchema = as GeneralizedHashTrieNode>::SuffixSchema; type Head = as GeneralizedHashTrieNode>::Head; type Get = var_type!(Option<&'a as GhtGet>::Get>);