How to get the infered type parameters for a function call.

[neimanpinchas]

Golang is less flexiable when it comes to infer generic type params, one noticable diffrence is that the assignee is not taken into account. https://stackoverflow.com/questions/72174526/is-it-possible-to-infer-type-parameters-from-what-return-values-are-assigned-to.

I see in reflaxe.cpp some code but I am unable to follow, also I am not sure whether the meta is explicitly added.  
https://github.com/SomeRanDev/reflaxe.CPP/blob/main/src/cxxcompiler/subcompilers/Expressions.hx#L1479

How is possible to extract the concrete type that haxe infered for the generic call?

I also suspect the @:generic doesnt work yet from reflaxe.

[SomeRanDev]

You're looking for TypeHelper.findResolvedTypeParams. I usually use it like this: using reflaxe.helpers.TypeHelper.

You can see it being used here:
https://github.com/SomeRanDev/reflaxe.CPP/blob/0630b5824b5574e368d622c37588b70869d312af/src/cxxcompiler/subcompilers/Expressions.hx#L1525

Ignore anything with @:templateArg/Meta.TemplateArg, this is for adding C++ constant values using templates:

void something<int a>() { std::cout << a << std::endl; }

[SomeRanDev]

I haven't used @:generic a lot, but I assume the Haxe compiler takes care of it and generates the classes before Reflaxe does anything. So it should work? I could be wrong, I haven't tested it.

[neimanpinchas]

What a powerfull function "Amazing" doesn't do it justice.

Thank you

[neimanpinchas]

In my specific test case @:generic didn't work, maybe I should try with a minmal project and if any issue I will open a seperate issue.

Now that I was able to use pure go generics I do nto have any need for @:generic, as for the go limitation with generics in methods, I am using a first param this as the receiver (like in python)

Just thinking, will I get the derived name in the standard name field? or name contains the generic name and the per-type name is in some other field?