Assertion error in type intersection when testing NDTensors on 1.11

[KristofferC]

Put this in the REPL:

using NDTensors
dev = NDTensors.Unwrap.cpu
elt = Float32
S = dev(tensor(Diag(randn(elt, 2)), (2, 2)))
V = dev(tensor(Dense(randn(elt, 12, 2)'), (3, 4, 2)))
S1 = contract(S, (2, -1), V, (3, 4, -1))

julia> S1 = contract(S, (2, -1), V, (3, 4, -1))
Assertion failed: (!has_innerdep || btemp->depth0 == vb->depth0), function finish_unionall, file subtype.c, line 2916.

[98613] signal 6: Abort trap: 6
in expression starting at REPL[6]:1
__pthread_kill at /usr/lib/system/libsystem_kernel.dylib (unknown line)
pthread_kill at /usr/lib/system/libsystem_pthread.dylib (unknown line)
abort at /usr/lib/system/libsystem_c.dylib (unknown line)
__assert_rtn at /usr/lib/system/libsystem_c.dylib (unknown line)
finish_unionall at /Users/kristoffercarlsson/julia1.11/src/subtype.c:2916
intersect_unionall_ at /Users/kristoffercarlsson/julia1.11/src/subtype.c:3125
intersect_unionall at /Users/kristoffercarlsson/julia1.11/src/subtype.c:3173
intersect at /Users/kristoffercarlsson/julia1.11/src/subtype.c:3822
intersect_unionall_ at /Users/kristoffercarlsson/julia1.11/src/subtype.c:3082
intersect_unionall at /Users/kristoffercarlsson/julia1.11/src/subtype.c:3173
intersect at /Users/kristoffercarlsson/julia1.11/src/subtype.c:3822
intersect_all at /Users/kristoffercarlsson/julia1.11/src/subtype.c:4042
intersect_aside at /Users/kristoffercarlsson/julia1.11/src/subtype.c:2395
intersect at /Users/kristoffercarlsson/julia1.11/src/subtype.c:3766
intersect_all at /Users/kristoffercarlsson/julia1.11/src/subtype.c:4042
intersect_aside at /Users/kristoffercarlsson/julia1.11/src/subtype.c:2395
var_lt at /Users/kristoffercarlsson/julia1.11/src/subtype.c:728
local_forall_exists_subtype at /Users/kristoffercarlsson/julia1.11/src/subtype.c:1572
forall_exists_equal at /Users/kristoffercarlsson/julia1.11/src/subtype.c:1615
subtype at /Users/kristoffercarlsson/julia1.11/src/subtype.c:1445
subtype_unionall at /Users/kristoffercarlsson/julia1.11/src/subtype.c:907
subtype_unionall at /Users/kristoffercarlsson/julia1.11/src/subtype.c:907
...

[KristofferC]

cc @N5N3 since you added that assert

[N5N3]

Confirmed that a556af2 fixes the example above.