lib: suppr useless (and unafe) constructor in FlatBufferCharView

Signed-off-by: Jean Privat <jean@pryen.org>
auto_super_init: Better check of the signature

Also improve error messages

Signed-off-by: Jean Privat <jean@pryen.org>
typing: check signature in super init call without arguments

Signed-off-by: Jean Privat <jean@pryen.org>
engines: collect only required arguments in super init calls

Signed-off-by: Jean Privat <jean@pryen.org>
engines: assert the right number of arguments in calls

Also remove old NYE (where here because of closures)

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add base_init_super_call*

Signed-off-by: Jean Privat <jean@pryen.org>
tests: error_needed_method_alt5

Range::init signature is not checked when [x..y[ notation is transformed.
The fix will require more work, so just disable the test temporally.

Signed-off-by: Jean Privat <jean@pryen.org>
Merge branch 'super_init_call'

Current uses of explicit and implicit `super` in constructors are not
checked.

1. this series add required static verification (in `typing` and
`auto_super_int`) on the super init call (and remove two TODO).
2. the correct argument passing is implemented in the engines for the
super init calls
3. assertions are added in engines to check that the number of arguments
matches the number of parameters
4. tests are also provided (or updated)

This series is required to fix the current implementation so that the
implementation of the new style constructors can go on.