LAWS.rejects_raw_string_control: law of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/LAWS.bend as LAWS
Lines 200-204 of qasim-bend-kit@0.1.0.2/LAWS.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/LAWS.bend&start_line=200&end_line=204

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as Json

# A raw control character is forbidden inside a JSON string.
law rejects_raw_string_control:
    { Result.is_fail(&1, &1, Json.Error, Json.Value,
            Json.parse("\"" ++ "\u{0001}" ++ "\""))
        == True{} : Bool }

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result.is_fail
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=Value
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=parse