RAII Types and more - #213

Draft

lwaern-intel wants to merge 7 commits into

lwaern-intel:lw/raii

Commits on Oct 4, 2023

RAII Types and more
lwaern-intel
committed
54eb78b
Document `.remove` of vectors
lwaern-intel
committed
3bfb6f9
Bugfixes, incompatibility fixes, touch-ups
lwaern-intel
committed
41261b9
Unconst input and output args when checking method overrides
lwaern-intel
committed
c541647
Make enriched new/delete opt-in
lwaern-intel
committed
4a7b4f4
Fix MODULEINFO, rename header files to follow convention
lwaern-intel
committed
0934138
Fix UB caught by valgrind and sanitizers
lwaern-intel
committed
6b78d79