While I was working on some active-set related stuff in TAO, I discovered that I can call KSPSetOperators() with differently sized Mat and PC objects without getting any errors or warnings about the size mismatch. Note that my Mat object is explicit, but the PC object is a MATSHELL. Is this intended behavior, or is it a bug?