|
|
|
|
|
|
by deredede
390 days ago
|
|
|
"Moving preconditions up" means moving the code that checks the precondition up. The precondition still needs to be documented (in the type system is ideal, with an assertion otherwise, in a comment if necessary) close to where it's assumed. |
|
|