fn check_presented_id_conforms_to_constraints(
    name: GeneralName<'_>,
    permitted_subtrees: Option<Input<'_>>,
    excluded_subtrees: Option<Input<'_>>,
    budget: &mut Budget,
) -> NameIteration