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