Function hairy::hairy_check_types
source · pub fn hairy_check_types<'a, 'b, 'c>(
template_bytecode: BytecodeRef<'b>,
dynamic_value_types: Vec<&ExpryType>,
given_templates: Option<&'a [RawReader<'b>]>,
custom_types: &'a BTreeMap<Key<'a>, (Vec<ExpryType>, ExpryType)>,
escaper: Option<&'a dyn Escaper>,
allocator: &mut MemoryScope<'c>
) -> Result<(), HairyError<'b>>where
'c: 'b,
'b: 'a,