Override std::ptr::align_offset#2396

tautschnig wants to merge 6 commits intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:align_offsettautschnig/kani:align_offsetCopy head branch name to clipboard