You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Ideally parseJson should return TaintedJsonTree a similar to the now removed from the stdlib type TaintedString* = distinct string ## a distinct string type that is tainted , which marks a JsonTree as potentially harmful. Then deduplicate will ensure that the JSON does not contain duplicate keys and return a JsonTree.
The text was updated successfully, but these errors were encountered:
Ideally
parseJson
should returnTaintedJsonTree
a similar to the now removed from the stdlibtype TaintedString* = distinct string ## a distinct string type that is tainted
, which marks a JsonTree as potentially harmful. Then deduplicate will ensure that the JSON does not contain duplicate keys and return aJsonTree
.The text was updated successfully, but these errors were encountered: