Hi. I got what I was wrong. I am making new patch for this.
I understands:
- it should not test suptype in reversed direction.
- but highlighted type and error message is mismatched.
Is it right?