[Improve] type system now covers builtin types #877
| Job | Run time |
|---|---|
| 3s | |
| 3s | |
| 2s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 2s | |
| 1s | |
| 2s | |
| 2s | |
| 1s | |
| 2s | |
| 2s | |
| 2s | |
| 2s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 2s | |
| 2s | |
| 2s | |
| 1s | |
| 1s | |
| 1s | |
| 2s | |
| 1s | |
| 2s | |
| 1s | |
| 2s | |
| 2s | |
| 3s | |
| 3s | |
| 1s | |
| 1s | |
| 3s | |
| 3s | |
| 1m 15s |
| Job | Run time |
|---|---|
| 3s | |
| 3s | |
| 2s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 2s | |
| 1s | |
| 2s | |
| 2s | |
| 1s | |
| 2s | |
| 2s | |
| 2s | |
| 2s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 2s | |
| 2s | |
| 2s | |
| 1s | |
| 1s | |
| 1s | |
| 2s | |
| 1s | |
| 2s | |
| 1s | |
| 2s | |
| 2s | |
| 3s | |
| 3s | |
| 1s | |
| 1s | |
| 3s | |
| 3s | |
| 1m 15s |