Unexpected missing exhaustiveness complaint

[resolritter]

I have the following code

package main

import "fmt"

type VariantA struct{}

type VariantB struct{}

func foo[T VariantA | VariantB](val T) {
	switch any(val).(type) {
  case VariantA:
    fmt.Println("Got A")
	}
}

func main() {
	foo(VariantA{})
}

I did not add the case VariantB: to the switch, thus I expected exhaustive to complain about that, but it didn't. Am I missing something? FWIW I am applying the pattern "Solution 1: type switch" from https://stackoverflow.com/a/72667242/8401696.

[resolritter]

Ah, nevermind. It seems like this package only performs exhaustiveness checks on enums, not interfaces implemented by a given value.