fuzion icon indicating copy to clipboard operation
fuzion copied to clipboard

unjustified ambiguous call reported for type features vs. plain feature

Open fridis opened this issue 1 year ago • 0 comments

This code does not seem to be ambiguous since we have one actual argument

xyz is
  type.f(v i32) =>
  f =>

bla => xyz.f 43

but fz produces this

 > ./build/bin/fz test_ambig.fz

/home/fridi/fuzion/work/test_ambig.fz:5:12: error 1: This call is ambiguous.
bla => xyz.f 43

Called feature could be: 'xyz.f' defined at /home/fridi/fuzion/work/test_ambig.fz:3:3:
  f =>

or                     : 'xyz.type.f' defined at /home/fridi/fuzion/work/test_ambig.fz:2:8:
  type.f(v i32) =>

To solve this, rename one of the called features.

one error.

fridis avatar Aug 16 '24 08:08 fridis