Resolve issues

Author: HassanElDesouky

lib/Sema/CSGen.cpp

@@ -1152,18 +1152,21 @@ namespace {
       // `_ = nil`, let's diagnose it here because solver can't
       // attempt any types for it.
       auto *parentExpr = CS.getParentExpr(expr);
-      if (auto *PE = dyn_cast<ParenExpr>(parentExpr))
+      if (parentExpr && isa<ParenExpr>(parentExpr))
         parentExpr = CS.getParentExpr(parentExpr);
 
-      if (isa<ForceValueExpr>(parentExpr)) {
-        DE.diagnose(expr->getLoc(), diag::cannot_force_unwrap_nil_literal);
-        return Type();
-      }
+      if (parentExpr) {
+        // `_ = nil!`
+        if (isa<ForceValueExpr>(parentExpr)) {
+          DE.diagnose(expr->getLoc(), diag::cannot_force_unwrap_nil_literal);
+          return Type();
+        }
 
-      if (isa<NilLiteralExpr>(parentExpr)
-          || isa<OptionalEvaluationExpr>(parentExpr)) {
-        DE.diagnose(expr->getLoc(), diag::unresolved_nil_literal);
-        return Type();
+        // `_ = nil?`
+        if (isa<OptionalEvaluationExpr>(parentExpr)) {
+          DE.diagnose(expr->getLoc(), diag::unresolved_nil_literal);
+          return Type();
+        }
       }
 
       // `_ = nil`