API docs are being generated and will be shortly available at: https://godot-rust.github.io/docs/gdext/pr-380

I think it may be better to change the signatures to look something like:

(R, (P1, P2, ...), (D1, D2, ...))

Where P* are required arguments and D* are optional. Or maybe we even make our own ZST to be able to name these a bit better, like

struct Signature<
  RETURN_TYPE,
  REQUIRED_ARGS,
  DEFAULT_ARGS,
  const HAS_VARARGS: bool
> {
  ...
}

That way we can distinguish between a function like fn foo(a: i32) and fn foo(a = 5: i32) (not real syntax). And we can also only require that the default arguments implement default, instead of all of them, and it makes it easy to add in like vararg-lists if we want to support that too.

(This would likely also involve changing the traits to have new type aliases for the default arguments)

@you-win are you still interested in pursuing this? I have to refactor the proc-macros file structure a bit, so there might be some merge conflicts upcoming...

I can rebase my PR based off of the refactor, no worries.

Edit: If someone wants to salvage this PR, please feel free to do so. I'm admittedly busy with other things

Any update on this one? The more we wait, the more the code will diverge and introduce conflicts 🙈
If you don't have time for now, I can give it another attempt, but only in a few weeks.

Since there hasn't been an update since August and the PR had significantly diverged from master, I'm going to close it. Nevertheless, thanks a lot! It seems that default parameters need a bit more thought, so any experiment in that space is helpful. We'll very likely revisit this topic again later 🙂