Makes sense, if Launcher is user-supplied I think it's enough to provide informal specification without tests as it's user responsibility to be sure that object he's passing is correct.