Skip to content

Add Core.has_free_typevars rule#821

Merged
mcabbott merged 2 commits intoJuliaDiff:mainfrom
topolarity:ct/has_free_typevars
Jun 13, 2025
Merged

Add `Core.has_free_typevars` rule#821
mcabbott merged 2 commits intoJuliaDiff:mainfrom
topolarity:ct/has_free_typevars

Commits

Commits on Jun 5, 2025

Commits on Jun 13, 2025