This is about benign redefinition of types. We're not interested in it.