| 12345678910111213141516171819 |
- type
- D[T] = object
- E[T] = object
- block: # PR #22261
- proc d(x: D):bool= false
- proc d(x: int | D[SomeInteger]):bool= true
- doAssert d(D[5]()) == false
- block: # bug #8568
- #[
- Since PR #22261 and amendment has been made. Since D is a subset of D | E but
- not the other way around `checkGeneric` should favor proc g(a: D) instead
- of asserting ambiguity
- ]#
- proc g(a: D|E): string = "foo D|E"
- proc g(a: D): string = "foo D"
- doAssert g(D[int]()) == "foo D"
|
