Add tests for resolution of non-reifiable subtypes