Add small supertype input benchmark#3
Merged
davidbarsky merged 2 commits intodavidbarsky:davidbarsky/supertypesfrom Feb 23, 2025
Merged
Add small supertype input benchmark#3davidbarsky merged 2 commits intodavidbarsky:davidbarsky/supertypesfrom
davidbarsky merged 2 commits intodavidbarsky:davidbarsky/supertypesfrom