I suppose it matches `Int?` to `T?` such that `T =...

# announcements

[tschuchort]

I suppose it matches Int? to T? such that T == Int ...But does it still work when the Pair types are not nullable? When only one is nullable?