Function hairy::hairy_check_types

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,