fn check_presented_id_conforms_to_constraints_in_subtree(
    name: GeneralName<'_>,
    subtrees: Subtrees,
    constraints: Option<Input<'_>>,
    budget: &mut Budget,
) -> NameIteration