one more comment for the road

This commit is contained in:
Douglas Creager 2025-11-14 17:46:37 -05:00
parent eb451dc7eb
commit 137a057a72

View file

@ -1475,6 +1475,8 @@ impl<'db> InteriorNode<'db> {
path.assignments[new_range]
.iter()
.filter(|assignment| {
// Don't add back any derived facts if they reference the typevar
// that we're trying to remove!
!assignment
.constraint()
.typevar(db)
@ -1493,6 +1495,8 @@ impl<'db> InteriorNode<'db> {
path.assignments[new_range]
.iter()
.filter(|assignment| {
// Don't add back any derived facts if they reference the typevar
// that we're trying to remove!
!assignment
.constraint()
.typevar(db)