last year RAP learned to produce even finer grained type equivalence classes that other solutions need LTO for. now it learned to go beyond that, still without LTO.
Jun 7, 2021 · 2:46 PM UTC
2
2
3
8
