Closed
Description
Seems weird that interface types are always reference-counted. For example, there could also be a "borrowed" variant, which contains a pointer to a borrowed object and a pointer to a vtable.
(It's possible I'm already confused about the distinction between "how the interface type is allocated" and "how the concrete type is allocated".)