Constant __cpp_lib_robust_nonmodifying_seq_ops 

pub const __cpp_lib_robust_nonmodifying_seq_ops: u32 = 201304;