ah, actually, trying that shows that widen is unnecessary at this point, since we can only have singleton types that depend on `AnyRef`s, which rules out all currently switchable types