Fix: SubtypeCustom[A]
should behave like subtype of A
(#1328)
#522
Job | Run time |
---|---|
20s | |
20s |
SubtypeCustom[A]
should behave like subtype of A
(#1328)
#522
Job | Run time |
---|---|
20s | |
20s |