ALL-ARCH0005 · examples

These examples come directly from ALL-ARCH0005. Read their source.

Bad

`storage/base.py` declares one abstract `Backend` with four abstract methods, one file
implements it, and that file imports the concrete class directly rather than the base. `A` is
`1.0` and nothing imports the module. The contract exists to be swapped and nothing swaps.
This returns `true`.

Good

storage/base.py declares the same Backend, and six modules import it to type their parameters against it. This returns false, whatever the implementations look like.