5 ms·
By “trace” I think GP meant that the required wrapper is still there at runtime but was only in service of the type system.
by aidos 2y ago
By “trace” I think GP meant that the required wrapper is still there at runtime but was only in service of the type system.