fuzion
fuzion copied to clipboard
Small exampe with free type parameters called using type inference results in crash
Try this
r(A type, c C) =>
r u8 2
you get this
> PRECONDITIONS=true POSTCONDITIONS=true ./build/bin/fz infer_crash.fz
error 1: java.lang.IndexOutOfBoundsException: Index 1 out of bounds for length 1
at java.base/jdk.internal.util.Preconditions.outOfBounds(Preconditions.java:100)
at java.base/jdk.internal.util.Preconditions.outOfBoundsCheckIndex(Preconditions.java:106)
at java.base/jdk.internal.util.Preconditions.checkIndex(Preconditions.java:302)
at java.base/java.util.Objects.checkIndex(Objects.java:385)
at java.base/java.util.ArrayList.get(ArrayList.java:427)
at dev.flang.ast.Call.resolveTypeForNextActual(Call.java:1595)
at dev.flang.ast.Call.inferGenericsFromArgs(Call.java:1914)
at dev.flang.ast.Call.inferGenericsFromArgs(Call.java:1631)
at dev.flang.ast.Call.resolveTypes0(Call.java:2573)
at dev.flang.ast.Call.resolveTypes(Call.java:2533)
at dev.flang.ast.Feature$ResolveTypes.action(Feature.java:1539)
at dev.flang.ast.Feature$ResolveTypes.action(Feature.java:1529)
at dev.flang.ast.Call.visit(Call.java:1225)
at dev.flang.ast.Block.visit(Block.java:213)
at dev.flang.ast.Block.visit(Block.java:43)
at dev.flang.ast.Impl.visit(Impl.java:302)
at dev.flang.ast.Feature.visit(Feature.java:1323)
at dev.flang.ast.Feature.internalResolveTypes(Feature.java:1627)
at dev.flang.ast.Resolution.resolveOne(Resolution.java:414)
at dev.flang.ast.Resolution.resolve(Resolution.java:377)
at dev.flang.fe.SourceModule.createASTandResolve(SourceModule.java:259)
at dev.flang.fe.FrontEnd.<init>(FrontEnd.java:167)
at dev.flang.tools.Fuzion.lambda$parseArgsForBackend$4(Fuzion.java:1141)
at dev.flang.tools.Tool.lambda$run$0(Tool.java:142)
at dev.flang.util.Errors.runAndExit(Errors.java:912)
at dev.flang.tools.Tool.run(Tool.java:142)
at dev.flang.tools.Fuzion.main(Fuzion.java:694)
*** fatal errors encountered, stopping.
one error.