checker: disallow expr is Type if expr is Optional
#9386
| Job | Run time |
|---|---|
| 57m 55s | |
| 31m 0s | |
| 22m 7s | |
| 1h 51m 2s |
expr is Type if expr is Optional
#9386
| Job | Run time |
|---|---|
| 57m 55s | |
| 31m 0s | |
| 22m 7s | |
| 1h 51m 2s |