improve slice type inference with decidability
#195
| Job | Run time |
|---|---|
| 2s | |
| 2s |
slice type inference with decidability
#195
| Job | Run time |
|---|---|
| 2s | |
| 2s |