Suppress very common configure() type checker error
#830
| Job | Run time |
|---|---|
| 14m 57s | |
| 12m 18s | |
| 27m 15s |
configure() type checker error
#830
| Job | Run time |
|---|---|
| 14m 57s | |
| 12m 18s | |
| 27m 15s |