checker: disallow expr is Type if expr is Optional
#3025
| Job | Run time |
|---|---|
| 29s | |
| 46s | |
| 1m 15s |
expr is Type if expr is Optional
#3025
| Job | Run time |
|---|---|
| 29s | |
| 46s | |
| 1m 15s |