Merge pull request #4832 from practicalswift/swiftc-28421-swift-constraints-constraintsystem-diagnosefailureforexpr

diff --git a/validation-test/IDE/crashers/091-swift-typechecker-computedefaultaccessibility.swift b/validation-test/IDE/crashers/091-swift-typechecker-computedefaultaccessibility.swift
new file mode 100644
index 0000000..87cfa00
--- /dev/null
+++ b/validation-test/IDE/crashers/091-swift-typechecker-computedefaultaccessibility.swift
@@ -0,0 +1,3 @@
+// RUN: not --crash %target-swift-ide-test -code-completion -code-completion-token=A -source-filename=%s
+// REQUIRES: asserts
+protocol A{typealias e}extension A{typealias e:e l#^A^#
\ No newline at end of file