!include once #1034831 // Gazelle 22 Function Include for Testing

// function definition with checked argument type
svoid test_leftArrowScript_defChecked() {
  S script = [[
      def doubleString s: checked S {
        Math concat s s
      }
      
    assertFails < doubleString 5
    doubleString "1"
  ]];
  
  assertEqualsVerbose("11", leftArrowVerbose(script));
}