Commits
Roman Levenstein committed 562755cb12e
[sil-verifier] Stricter checks for branch arguments IRGen does not support the following SIL values as arguments of branch instructions: - witness_method instructions - class_method instructions, where the method is an objc-method.