Make sure to push more symbols coming from Derived_synth to Derived_gen

This commit is contained in:
Ayaz Hafiz 2022-08-16 08:10:04 -05:00
parent 0ba5b3cfc6
commit 0d763518f1
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 20 additions and 3 deletions

View file

@ -133,6 +133,12 @@ impl DerivedModule {
self.map.entry(key).or_insert(triple)
}
pub fn is_derived_def(&self, def_symbol: Symbol) -> bool {
self.map
.iter()
.any(|(_, (symbol, _, _))| *symbol == def_symbol)
}
pub fn iter_all(
&self,
) -> impl Iterator<Item = (&DeriveKey, &(Symbol, Def, SpecializationLambdaSets))> {