Yes, but `Rect<..., ComputablePoint<...>&...
# announcements
i
Yes, but
Rect<..., ComputablePoint<...>>
is not
Rect<..., Point<...>>
because it's invariant on that type parameter