@@ -4871,11 +4871,6 @@ module StdlibPrivate {
       input = "Argument[0]" and
       output = "Argument[self].ListElement" and
       preservesValue = true
-      or
-      // transfer taint from new element to this (TODO: remove in future when taint-handling is more in line with other languages)
-      input = "Argument[0]" and
-      output = "Argument[self]" and
-      preservesValue = false
     }
   }
 
@@ -4898,11 +4893,6 @@ module StdlibPrivate {
       input = "Argument[0]" and
       output = "Argument[self].SetElement" and
       preservesValue = true
-      or
-      // transfer taint from new element to this (TODO: remove in future when taint-handling is more in line with other languages)
-      input = "Argument[0]" and
-      output = "Argument[self]" and
-      preservesValue = false
     }
   }
Original file line number	Diff line number	Diff line change
`@@ -4871,11 +4871,6 @@ module StdlibPrivate {`
`4871`	`4871`	`input = "Argument[0]" and`
`4872`	`4872`	`output = "Argument[self].ListElement" and`
`4873`	`4873`	`preservesValue = true`
`4874`		`- or`
`4875`		`- // transfer taint from new element to this (TODO: remove in future when taint-handling is more in line with other languages)`
`4876`		`- input = "Argument[0]" and`
`4877`		`- output = "Argument[self]" and`
`4878`		`- preservesValue = false`
`4879`	`4874`	`}`
`4880`	`4875`	`}`
`4881`	`4876`
`@@ -4898,11 +4893,6 @@ module StdlibPrivate {`
`4898`	`4893`	`input = "Argument[0]" and`
`4899`	`4894`	`output = "Argument[self].SetElement" and`
`4900`	`4895`	`preservesValue = true`
`4901`		`- or`
`4902`		`- // transfer taint from new element to this (TODO: remove in future when taint-handling is more in line with other languages)`
`4903`		`- input = "Argument[0]" and`
`4904`		`- output = "Argument[self]" and`
`4905`		`- preservesValue = false`
`4906`	`4896`	`}`
`4907`	`4897`	`}`
`4908`	`4898`