Foldable parameters

[lerno]

enum Foo : (int val)
{
   ABC = 123
}

struct Baz
{
  int x;
  double y;
}
    
fn int my_function(Foo.val f) 
{
  int y = f * f;
  return y;
}
fn double my_function2(Baz.y d) 
{
  double y = d * d;
  return y;
}

...
int x = my_function(ABC); // passes the value 123
Baz b = { 4, 1.5 };
double y = my_function2(b); // y = 2.25

[vssukharev]

Seems like really weird syntax for structures. We don't want to implicitly cast structure object to one of its members.

[alexveden]

Not worth it, makes code unclear. IMO

[Book-reader]

I think this could end up kinda like ref parameters where there are so few uses that it is better to just remove them and replace them with something simpler like inline enum values, which are the only thing I can really see them being used for