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

scope test_leftArrowScript_tilde

sclass #GetOptImpl {
  public O getOpt(S key) { ret key + "!"; }
}

svoid test_leftArrowScript_tilde() {
  var test = new TestFunctionValues<S, O>(l1 leftArrowVerbose);
  
  // function inversion with an extra argument (2 in total)
  test
    .io([[litmap "a" 2 "b" 3, ~a]], 2)
    .io([[litmap "a" 2 "b" 3, ~b]], 3)
    .io([[litmap "a" 2 "b" 3, ~c]], null)
    .io([[litmap "a" (litmap "x" 2) "b" 3, ~a ~x]], 2).runAndClear();
    
  // get list element
  test
    .io([[ll "a" "b", ~0]], "a")
    .io([[ll "a" "b", ~1]], "b")
    .io([[ll "a" "b", ~2]], null)
    .runAndClear();
    
  // tilde directly after function call
  test
    .io([[def bla { litmap "a" 2 }
          bla~a]], 2)
    .runAndClear();
    
  // Any object implementing getOpt(key)
  test
    .io(replaceIdentifiers([[new GetOptImpl, ~hey]], "GetOptImpl", className(GetOptImpl)), "hey!")
    .runAndClear();
    
  // It's okay to do "null, ~whatever"
  
  test
    .io("null, ~bla", null)
    .runAndClear();
}

Began life as a copy of #1035535