expect

T
expect
(
T
ST
)
(
ST v
)
if (
isVariant!ST
)

Meta