Type inference via multithreading and ownership

[croyzor]

No description provided.

[croyzor]

We have verbally agreed to make this the new main branch for BRAT since so much else depends on it

[acl-cqc]

Yup let's do it.
The only thing I've spotted that really I'd have liked to pull out as a separate/preliminary change is the addition of CaptureSets, but commit 85ff9c7 (and following c90845c) does not cherry-pick cleanly onto main so....OK

[acl-cqc]

Yup let's do it. The only thing I've spotted that really I'd have liked to pull out as a separate/preliminary change is the addition of CaptureSets, but commit 85ff9c7 (and following c90845c) does not cherry-pick cleanly onto main so....OK

But can you fix the CI first?!

[croyzor]

Superceded (cleaned up) by #93