Index: tests/.expect/withconflict.txt
===================================================================
--- tests/.expect/withconflict.txt	(revision 488371226e8f9a90c148825967facd2a8a86ba76)
+++ tests/.expect/withconflict.txt	(revision 488371226e8f9a90c148825967facd2a8a86ba76)
@@ -0,0 +1,52 @@
+withconflict.cfa:16:1 error: Unique best alternative includes deleted identifier in Generated Cast of:
+  Application of
+    Variable Expression: result: function
+    ... with parameters
+      signed int
+      float
+    ... returning nothing
+
+    ... with resolved type:
+      pointer to function
+      ... with parameters
+        signed int
+        float
+      ... returning nothing
+
+    ... to arguments
+    Deleted Expression
+      Member Expression, with field:
+        value: signed int
+      ... from aggregate:
+        Variable Expression: cell: instance of struct Cell with body
+        ... with resolved type:
+          instance of struct Cell with body
+      ... with resolved type:
+        signed int
+      ... deleted by: With statement
+      ... with expressions:
+        Variable Expression: cell: instance of struct Cell with body
+        ... with resolved type:
+          instance of struct Cell with body
+        Variable Expression: cell: instance of struct Cell with body
+        ... with resolved type:
+          instance of struct Cell with body
+      ... with statement:
+        Compound Statement:
+          Expression Statement:
+            Applying untyped:
+              Name: result
+            ...to:
+              Name: value
+              Name: value
+
+
+    Variable Expression: value: float
+    ... with resolved type:
+      float
+
+  ... with resolved type:
+    void
+... to: nothing
+... with resolved type:
+  void
Index: tests/withconflict.cfa
===================================================================
--- tests/withconflict.cfa	(revision 488371226e8f9a90c148825967facd2a8a86ba76)
+++ tests/withconflict.cfa	(revision 488371226e8f9a90c148825967facd2a8a86ba76)
@@ -0,0 +1,18 @@
+// No printing required, test is an error on second with statement.
+void result(int i, float f) {}
+
+struct Cell {
+	int value;
+};
+
+int main(void) {
+	int value = 0;
+	float value = 1;
+	Cell cell = { 2 };
+	with ( cell ) {
+		result(value, value);
+	}
+	with ( cell, cell ) {
+		result(value, value);
+	}
+}