Avatar
https://github.com/devincoughlin/swift/blob/master/test/SILOptimizer/exclusivity_static_diagnostics.swift とりあえず現状こんな感じのテストケースで実装済みです。
swift - The Swift Programming Language