1. Refactor `add_generics_and_bounds_as_types ` so it handles all types, not just type parameters. 2. Remove the `!args.is_empty()` conditional in `get_fn_inputs_and_outputs`. 3. Extend `all_types` with `args` at the end of the loop. cc @GuillaumeGomez <!-- TRIAGEBOT_START --> <!-- TRIAGEBOT_ASSIGN_START --> <!-- TRIAGEBOT_ASSIGN_DATA_START$${"user":"JmPotato"}$$TRIAGEBOT_ASSIGN_DATA_END --> <!-- TRIAGEBOT_ASSIGN_END --> <!-- TRIAGEBOT_END -->