Skip to content

Type count from cache if possible#443

Merged
joente merged 3 commits into
mainfrom
typecount
May 21, 2026
Merged

Type count from cache if possible#443
joente merged 3 commits into
mainfrom
typecount

Conversation

@joente
Copy link
Copy Markdown
Member

@joente joente commented May 21, 2026

Description

When cache is available, type_count() can use this instead of counting the instances by itself.

Type of change

  • Improvement

How Has This Been Tested?

  • Test type (update).

Checklist:

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • New and existing unit tests pass locally with my changes

@joente joente self-assigned this May 21, 2026
@joente joente merged commit 59abf1e into main May 21, 2026
1 check passed
@joente joente deleted the typecount branch May 21, 2026 15:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant