fuzion icon indicating copy to clipboard operation
fuzion copied to clipboard

Small exampe with free type parameters called using type inference results in crash

Open fridis opened this issue 2 months ago • 0 comments

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.

fridis avatar Oct 16 '25 13:10 fridis