check-condition failure when using fun-type in string.trim

[fridis]

Changing string.trim to

  # remove leading and traling white space from this string
  #
  trim string is
    s0 := utf8

    s1 := (s0.dropWhile (fun isAsciiWhiteSpace)).reverse
    s2 := (s1.dropWhile (fun isAsciiWhiteSpace)).reverse

    strings.fromBytes s2

and running fz on

trim is
  say " abc ".trim

results in

 > ./build/bin/fz trim
java.lang.Error: check-condition failed!
	at dev.flang.util.ANY.check(ANY.java:371)
	at dev.flang.ir.Clazz.lookup(Clazz.java:834)
	at dev.flang.ir.Clazz.lookup(Clazz.java:792)
	at dev.flang.ir.Clazz.lambda$findAllClassesWhenCalled$0(Clazz.java:1125)
	at dev.flang.ir.Clazzes.calledDynamically(Clazzes.java:492)
	at dev.flang.ir.Clazzes.findClazzes(Clazzes.java:695)
	at dev.flang.ir.Clazz$FindClassesVisitor.action(Clazz.java:1059)
	at dev.flang.ir.Clazz$FindClassesVisitor.action(Clazz.java:1053)
	at dev.flang.ast.Call.visit(Call.java:930)
	at dev.flang.ast.Call.lambda$visit$0(Call.java:922)
	at dev.flang.ast.FeatureVisitor.visitActuals(FeatureVisitor.java:87)
	at dev.flang.ast.Call.visit(Call.java:918)
	at dev.flang.ast.Call.visit(Call.java:928)
	at dev.flang.ast.Assign.visit(Assign.java:217)
	at dev.flang.ast.Feature$12.visit(Feature.java:2612)
	at dev.flang.ast.Feature$12.visit(Feature.java:2590)
	at dev.flang.ast.Block.visit(Block.java:214)
	at dev.flang.ast.Block.visit(Block.java:41)
	at dev.flang.ast.Block.visit(Block.java:214)
	at dev.flang.ast.Block.visit(Block.java:41)
	at dev.flang.ast.Assign.visit(Assign.java:217)
	at dev.flang.ast.Assign.visit(Assign.java:39)
	at dev.flang.ast.Block.visit(Block.java:214)
	at dev.flang.ast.Block.visit(Block.java:41)
	at dev.flang.ast.Impl.visit(Impl.java:315)
	at dev.flang.ast.Feature.visit(Feature.java:1026)
	at dev.flang.ir.Clazz$FindClassesVisitor.visitAncestors(Clazz.java:1066)
	at dev.flang.ir.Clazz.findAllClassesWhenCalled(Clazz.java:1117)
	at dev.flang.ir.Clazzes.findAllClasses(Clazzes.java:394)
	at dev.flang.be.interpreter.Interpreter.<init>(Interpreter.java:156)
	at dev.flang.tools.Fuzion.lambda$parseArgsForBackend$3(Fuzion.java:482)
	at dev.flang.tools.Tool.run(Tool.java:163)
	at dev.flang.tools.Fuzion.main(Fuzion.java:209)

using the original trim as follows works:

  # remove leading and traling white space from this string
  #
  trim string is
    s0 := utf8
    s1 := (s0.dropWhile (fun (c u8) => isAsciiWhiteSpace c)).reverse
    s2 := (s1.dropWhile (fun (c u8) => isAsciiWhiteSpace c)).reverse

    strings.fromBytes s2

[fridis]

Here is a minimal example:

test50 => fun string.isAsciiWhiteSpace

that results in the same error

> ./build/bin/fz test50
java.lang.Error: check-condition failed!
	at dev.flang.util.ANY.check(ANY.java:371)
	at dev.flang.ir.Clazz.lookup(Clazz.java:830)
	at dev.flang.ir.Clazz.lookup(Clazz.java:792)
	at dev.flang.ir.Clazz.lambda$findAllClassesWhenCalled$0(Clazz.java:1121)
	at dev.flang.ir.Clazzes.whenCalledDynamically(Clazzes.java:437)
	at dev.flang.ir.Clazz.findAllClassesWhenCalled(Clazz.java:1120)
	at dev.flang.ir.Clazzes.findAllClasses(Clazzes.java:398)
	at dev.flang.be.interpreter.Interpreter.<init>(Interpreter.java:156)
	at dev.flang.tools.Fuzion.lambda$parseArgsForBackend$3(Fuzion.java:482)
	at dev.flang.tools.Tool.run(Tool.java:166)
	at dev.flang.tools.Fuzion.main(Fuzion.java:209)