[Pre-pre RFC] Allow exclusion of trait methods for (certain) unsatisfiable where bounds

Apersoma: > The trait in the where bound that is unsatisfiable must be defined in the same crate Incidentally, this concept of allow negative reasoning, but capped by the orphan rules already exists in the language. (Which aren't "the same crate" really, but that's besides the point.)