Fix ternary tri* delegation and add example #2517
| Job | Run time |
|---|---|
| 7s | |
| 13s | |
| 12s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2s | |
| 40m 34s |
| Job | Run time |
|---|---|
| 7s | |
| 13s | |
| 12s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2m 30s | |
| 2s | |
| 40m 34s |