perf: use withSynthesize when elaborating let/have type
#4311
| Job | Run time |
|---|---|
| 2s | |
| 2s |
withSynthesize when elaborating let/have type
#4311
| Job | Run time |
|---|---|
| 2s | |
| 2s |