Issue 586: Enforce prior disjointedness declarations in core: and types:
#796
| Job | Run time |
|---|---|
| 18m 27s | |
| 18m 27s |
core: and types:
#796
| Job | Run time |
|---|---|
| 18m 27s | |
| 18m 27s |