The amortized cost of vector insert is 3 C++ requires many algorithms to be implemented in amortized constant time. I was curious about what this meant for vector insertion. To get started I first wrote an article about amortized time in general. Now I'd…

This takes a whole 3 lines in compiler/ since it lowers to CastKind::Transmute in MIR exactly the same as the existing intrinsics::transmute does, it just doesn't have the fancy checking in hir...