Update JavaExamples.java

txiang61 · web-flow · commit 15c5406923cd · 2024-04-26T12:24:50.000-07:00
diff --git a/JavaExamples.java b/JavaExamples.java
@@ -12,7 +12,9 @@ void foo(Set<String> s) {
 // Mutating immut set, `new_s` is immut
 void foo1(@Mutable Set<String> s) {
   Set<String> new_s = new HashSet<>(s);
+  Set<String> new_s1 = s;
   new_s.add("x"); // ERROR
+  new_s1.add("x"); //OK
 }
 
 // Mutating mut set

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,9 @@ void foo(Set<String> s) {`
`12`	`12`	// Mutating immut set, `new_s` is immut
`13`	`13`	`void foo1(@Mutable Set<String> s) {`
`14`	`14`	`Set<String> new_s = new HashSet<>(s);`
	`15`	`+ Set<String> new_s1 = s;`
`15`	`16`	`new_s.add("x"); // ERROR`
	`17`	`+ new_s1.add("x"); //OK`
`16`	`18`	`}`
`17`	`19`
`18`	`20`	`// Mutating mut set`