Skip to content

irrationals: restrict assume effects annotations to known types#55886

Merged
vtjnash merged 3 commits intoJuliaLang:masterfrom nsajko:known_irrationalOct 10, 2024