>You'd still write code and test-cases to deal with the not-A-or-B instances, right?

I've seen this one before. It was called the something something solution and was very popular in Germany a while back.