Index: include/bit
===================================================================
--- include/bit
+++ include/bit
@@ -21,6 +21,7 @@
 
 #include <__config>
 #include <version>
+#include <memory>
 
 #if defined(__IBMCPP__)
 #include "support/ibm/support.h"
@@ -152,6 +153,26 @@
 
 #endif // _LIBCPP_COMPILER_MSVC
 
+// bit_cast
+
+#if _LIBCPP_STD_VER > 17
+
+template <typename _To, typename _Fm>
+constexpr typename enable_if<
+    (sizeof(_To) == sizeof(_Fm)) &&
+    std::is_trivially_copyable<_To>::value &&
+    std::is_trivially_copyable<_Fm>::value,
+    _To
+>::type
+bit_cast(const _Fm &__src) noexcept
+{
+    _To __dst;
+    std::memcpy(&__dst, &__src, sizeof(_To));
+    return __dst;
+}
+
+#endif // _LIBCPP_STD_VER > 17
+
 _LIBCPP_END_NAMESPACE_STD
 
 #endif // _LIBCPP_BIT
Index: include/version
===================================================================
--- include/version
+++ include/version
@@ -212,7 +212,7 @@
 // #   define __cpp_lib_atomic_ref                         201806L
 # endif
 // # define __cpp_lib_bind_front                           201811L
-// # define __cpp_lib_bit_cast                             201806L
+# define __cpp_lib_bit_cast                             201806L
 # if !defined(_LIBCPP_NO_HAS_CHAR8_T)
 #   define __cpp_lib_char8_t                            201811L
 # endif
Index: test/libcxx/bit/bit_cast.pass.cpp
===================================================================
--- /dev/null
+++ test/libcxx/bit/bit_cast.pass.cpp
@@ -0,0 +1,46 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14, c++17
+
+#include <bit>
+#include <cassert>
+
+#include "test_macros.h"
+
+template <class T, class F>
+void test_bitcast(F init_value)
+{
+    auto cast_value = std::bit_cast<T>(init_value);
+    
+    ASSERT_SAME_TYPE(decltype(cast_value), T); // make sure type is the same
+    assert(std::bit_cast<F>(cast_value) == init_value); // make sure data isnt lost when casting back
+    
+}
+
+struct A { int a; };
+struct B { int b; };
+
+int main(int, char**)
+{
+    constexpr double d = 1234.0; // make sure it works with constexprs
+    test_bitcast<std::uint64_t>(d);
+    
+    constexpr long long int lli = 12345;
+    test_bitcast<double>(lli);
+    
+    constexpr long int li = 4321;
+    test_bitcast<float*>(&li);
+    
+    // test structs
+    constexpr A a = A {.a=123};
+    B b = std::bit_cast<B>(a);
+    assert(b.b == 123);
+    
+    return 0;
+}
Index: www/cxx2a_status.html
===================================================================
--- www/cxx2a_status.html
+++ www/cxx2a_status.html
@@ -85,7 +85,7 @@
 	<tr><td><a href="https://wg21.link/P0019R8">P0019R8</a></td><td>LWG</td><td>Atomic Ref</td><td>Rapperswil</td><td></td><td></td></tr>
 	<tr><td><a href="https://wg21.link/P0458R2">P0458R2</a></td><td>LWG</td><td>Checking for Existence of an Element in Associative Containers</td><td>Rapperswil</td><td></td><td></td></tr>
 	<tr><td><a href="https://wg21.link/P0475R1">P0475R1</a></td><td>LWG</td><td>LWG 2511: guaranteed copy elision for piecewise construction</td><td>Rapperswil</td><td></td><td></td></tr>
-	<tr><td><a href="https://wg21.link/P0476R2">P0476R2</a></td><td>LWG</td><td>Bit-casting object representations</td><td>Rapperswil</td><td></td><td></td></tr>
+	<tr><td><a href="https://wg21.link/P0476R2">P0476R2</a></td><td>LWG</td><td>Bit-casting object representations</td><td>Rapperswil</td><td>Complete</td><td></td></tr>
 	<tr><td><a href="https://wg21.link/P0528R3">P0528R3</a></td><td>CWG</td><td>The Curious Case of Padding Bits, Featuring Atomic Compare-and-Exchange</td><td>Rapperswil</td><td></td><td></td></tr>
 	<tr><td><a href="https://wg21.link/P0542R5">P0542R5</a></td><td>CWG</td><td>Support for contract based programming in C++</td><td>Rapperswil</td><td></td><td></td></tr>
 	<tr><td><a href="https://wg21.link/P0556R3">P0556R3</a></td><td>LWG</td><td>Integral power-of-2 operations</td><td>Rapperswil</td><td><i>In Progress</i></td><td></td></tr>