checker: disallow expr is Type if expr is Optional
#578
| Job | Run time |
|---|---|
| 45s | |
| 50s | |
| 59s | |
| 2m 34s |
expr is Type if expr is Optional
#578
| Job | Run time |
|---|---|
| 45s | |
| 50s | |
| 59s | |
| 2m 34s |