Jeremy's summary of the discussion: If a developer makes an error in implementing or binding a Constraint or Cost in a mathematical program, often any error message is deferred until Solve() time and is difficult to chase down. We should try to provide earlier and better diagnostics while working with mathematical programs.
See discussion: https://github.com/RobotLocomotion/drake/issues/13181#issuecomment-626646662
Jeremy's summary of the discussion: If a developer makes an error in implementing or binding a Constraint or Cost in a mathematical program, often any error message is deferred until
Solve()
time and is difficult to chase down. We should try to provide earlier and better diagnostics while working with mathematical programs.