thierry-st comments

Repositories
Issues
Comments

Results 2 comments of


                                            thierry-st

Subtype relation for refined type fails

Here is the link to the corresponding ZIO issue: [#9210](https://github.com/zio/zio/issues/9210)

Subtype relation for refined type fails

Thanks very much for the clear explanations and the addition to known limitations! As for painfulness of real-world usages, in the ZIO environment, the limitation can easily be overcome. So...