Skip to content

Always defer local def analysis if it contains type params#62

Merged
coord-e merged 1 commit intomainfrom
coord-e/ty-param-always-defer
Mar 30, 2026
Merged

Always defer local def analysis if it contains type params#62
coord-e merged 1 commit intomainfrom
coord-e/ty-param-always-defer

Conversation

@coord-e
Copy link
Copy Markdown
Owner

@coord-e coord-e commented Mar 30, 2026

for #57

even if it is fully annotated, the functions with type parameters cannot be registered directly if it contains associated types. (normalization is still needed and added in later PR)

@coord-e coord-e merged commit 974109a into main Mar 30, 2026
6 checks passed
@coord-e coord-e deleted the coord-e/ty-param-always-defer branch March 30, 2026 15:13
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