fix: Forbid recursive function uses in decreases clauses #20055
| Job | Run time |
|---|---|
| 7s | |
| 3m 22s | |
| 1s | |
| 1s | |
| 12m 34s | |
| 18m 45s | |
| 17m 39s | |
| 25m 13s | |
| 23m 11s | |
| 26m 8s | |
| 23m 20s | |
| 23m 15s | |
| 1m 7s | |
| 2h 54m 43s |
| Job | Run time |
|---|---|
| 7s | |
| 3m 22s | |
| 1s | |
| 1s | |
| 12m 34s | |
| 18m 45s | |
| 17m 39s | |
| 25m 13s | |
| 23m 11s | |
| 26m 8s | |
| 23m 20s | |
| 23m 15s | |
| 1m 7s | |
| 2h 54m 43s |