Add Core.has_free_typevars rule
#1293
| Job | Run time |
|---|---|
| 1m 9s | |
| 18m 5s | |
| 19m 14s |
Core.has_free_typevars rule
#1293
| Job | Run time |
|---|---|
| 1m 9s | |
| 18m 5s | |
| 19m 14s |