Jonas Jenwald ec87995050 Ensure that Cmd/Name is only initialized with string arguments
Trying to use a non-string argument in either a `Cmd` or a `Name` is not intended, and would basically be an implementation error. Hence we can add a non-PRODUCTION check to enforce this, similar to the existing one used e.g. in the `Dict.set` method.
2022-02-23 22:39:12 +01:00
..
2022-01-09 11:32:34 +01:00
2022-01-09 11:32:34 +01:00
2022-02-19 15:33:42 +01:00
2022-02-23 13:31:03 +01:00