checker: disallow expr is Type if expr is Optional
#9387
| Job | Run time |
|---|---|
| 22m 20s | |
| 22m 20s |
expr is Type if expr is Optional
#9387
| Job | Run time |
|---|---|
| 22m 20s | |
| 22m 20s |