Add tests for subtyping -poly. Closes PR13510.