From 154bc8fca8d5fc10d1adf85a1f3f14163fc9e9b3 Mon Sep 17 00:00:00 2001 From: Kai <450507+neko-kai@users.noreply.github.com> Date: Sun, 22 Sep 2024 17:15:47 +0100 Subject: [PATCH] Add issue #481 to --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index bb3e07ce..b746f2f4 100644 --- a/README.md +++ b/README.md @@ -54,6 +54,7 @@ Known limitations are: 5. `izumi-reflect` is less powerful than `scala-reflect`: it does not preserve fields and methods when it's not necessary for equality and subtype checks, it does not preserve code trees, internal compiler data structures, etc. 6. There are some optimizations in place which reduce correctness, namely: subtype check for `scala.Matchable` will always return true, no distinction is made between `scala.Any` and `scala.AnyRef`. 7. Lower bounds are not preserved in abstract higher-kinded type members which may produce false comparisons. +8. Type and value members are not preserved in concrete types which may produce false comparisons with refined/structural types. (https://github.com/zio/izumi-reflect/issues/481) ## Debugging