Skip to content

make NOP dyn casts not require anything about the vtable#100208

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:dyn-upcast-nop
Aug 19, 2022
Merged

make NOP dyn casts not require anything about the vtable#100208
bors merged 1 commit intorust-lang:masterfrom
RalfJung:dyn-upcast-nop

Commits

Commits on Aug 6, 2022