Making it easier to work with shaders https://git.yummers.dev/slang.git/atom?h=master 2025-09-23T15:12:09+00:00 2025-09-23T15:12:09+00:00 kaizhangNV 149626564+kaizhangNV@users.noreply.github.com 2025-09-23T15:12:09+00:00 urn:sha1:7740f7905fdebebdbe22011787d432b385f4cd9d 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.