Skip to content

Conversation

@gares
Copy link
Contributor

@gares gares commented Oct 17, 2025

Fix #376

@gares gares force-pushed the fix-type-name-capture branch from 9745eec to 51225e5 Compare October 17, 2025 14:28
@gares gares merged commit 59da656 into master Oct 20, 2025
9 of 14 checks passed
@gares gares deleted the fix-type-name-capture branch October 20, 2025 11:09
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.

Determinancy checker gets confused by type abbreviations (and so do I)

2 participants