copy_to and copy_from of where_expression are marked noexcept. All other load and store functions/constructors of simd and simd_mask are not noexcept but “Throws: Nothing.”. The latter seems to follow the correct rules, since load/store on where_expression also has preconditions.