Constant __cpp_lib_shared_timed_mutex

Source
pub const __cpp_lib_shared_timed_mutex: u32 = 201402;