In SE-414, Swift introduced ‘region based isolation’ analysis (RBI) to improve the sophistication and usability of its compile time data race safety checking.