[tests] Add tests for SR-12672

Author: LucianoPAlmeida

lib/Sema/CSDiagnostics.cpp

@@ -3412,7 +3412,8 @@ bool MissingMemberFailure::diagnoseForDefaultAnyArrayLiteral() const {
   if (contextualType)
     return false;
 
-  if (isa<UnresolvedMemberExpr>(expr) && isa<ArrayExpr>(parentExpr)) {
+  if (isa<UnresolvedMemberExpr>(expr) &&
+      parentExpr && isa<ArrayExpr>(parentExpr)) {
     if (auto *metatype = baseType->getAs<MetatypeType>()) {
       baseType = metatype->getInstanceType();
     }

test/Constraints/members.swift

@@ -664,3 +664,7 @@ func test_34770265(_ dict: [Int: Int]) {
   dict.rdar_34770265_val()
   // expected-error@-1 {{referencing instance method 'rdar_34770265_val()' on 'Dictionary' requires the types 'Int' and 'String' be equivalent}}
 }
+
+// SR-12672
+_ = [.e] // expected-error {{reference to member 'e' cannot be resolved without a contextual type}}
+let _ : [Any] = [.e] // expected-error {{type 'Any' has no member 'e'}}