Squashed 'third_party/boostorg/concept_check/' content from commit ed0a0eb
Change-Id: Ib7230965334f9501601efc300242efde8352a380
git-subtree-dir: third_party/boostorg/concept_check
git-subtree-split: ed0a0ebd72f778cfa4931e0538ea34c28db3a42b
diff --git a/doc/reference/CopyConstructible.xml b/doc/reference/CopyConstructible.xml
new file mode 100644
index 0000000..9d278f3
--- /dev/null
+++ b/doc/reference/CopyConstructible.xml
@@ -0,0 +1,47 @@
+<?xml version="1.0"?>
+<concept name="CopyConstructible" category="Utility"><!--
+Based on concepts from the SGI Standard Template Library documentation:
+Copyright (c) 1996-1999
+Silicon Graphics Computer Systems, Inc.
+
+Copyright (c) 1994
+Hewlett-Packard Company
+--><!--
+Copyright 2000-2001 University of Notre Dame du Lac.
+Copyright 2001-2002 Indiana University.
+Some concepts based on versions from the MTL draft manual and Boost Graph
+and Property Map documentation:
+Copyright (c) Jeremy Siek, Lie-Quan Lee, and Andrew Lumsdaine 2000
+-->
+ <param name="X" role="copy-constructible-type"/>
+
+ <models-sentence>The type <arg num="1"/> must be a model of <self/>.</models-sentence>
+
+ <description>
+ <para>Copy constructible types must be able to be constructed from another
+ member of the type.</para>
+ </description>
+
+ <notation variables="x y">
+ <sample-value>
+ <type name="X"/>
+ </sample-value>
+ </notation>
+
+ <valid-expression name="Copy construction">
+ <construct template-parameters="">
+ <type name="X"/>
+ <sample-value><const><reference-to><type name="X"/></reference-to></const></sample-value>
+ </construct>
+ <return-type>
+ <require-same-type testable="yes">
+ <type name="X"/>
+ </require-same-type>
+ </return-type>
+ <semantics>Require copy constructor.</semantics>
+ </valid-expression>
+
+ <example-model>
+ <type name="int"/>
+ </example-model>
+</concept>