diff options
| author | kaizhangNV <149626564+kaizhangNV@users.noreply.github.com> | 2025-09-23 10:12:09 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-23 15:12:09 +0000 |
| commit | 7740f7905fdebebdbe22011787d432b385f4cd9d (patch) | |
| tree | deadd3796624ae30dac3770b25098e21a222e31a /tests/bugs | |
| parent | 9e34c6d949e97fc87a0a7be4ab37092b586aee9d (diff) | |
fix a crash when using type equality constaint (#8515)
Close #8193.
When constructing `TransitiveTypeWitness` node, we should check if there
is operand that represents two equal times. Currently, we only check
whether the operand is `TypeEqualityWitness`, which is not good enough,
because a `DeclaredSubtypeWitness` could also be representing two same
types, in that case, we should also const fold this kind of witness.
Fails to do so, we could finally ends up with a generating a lookup
witness IR on a generic parameter that is not supposed to be looked up.
Diffstat (limited to 'tests/bugs')
0 files changed, 0 insertions, 0 deletions