Fix include guard in adapt_assoc_adt.hpp (#273)

Update 5 adds /Zc:templateScope flag which causes compile errors in
typedefs redefining template parameters.

.github/workflows/ci.yml

@@ -0,0 +1,471 @@
+name: GitHub Actions CI
+
+on:
+  pull_request:
+  push:
+    branches:
+      - master
+      - develop
+      - githubactions*
+      - feature/**
+      - fix/**
+      - pr/**
+
+jobs:
+  posix:
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - name: "TOOLSET=gcc-4.4 CXXSTD=98,0x Job 0"
+            buildtype: "boost"
+            packages: "g++-4.4"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "gcc-4.4"
+            cxxstd: "98,0x"
+          - name: "TOOLSET=gcc-4.6 CXXSTD=03,0x Job 1"
+            buildtype: "boost"
+            packages: "g++-4.6"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "gcc-4.6"
+            cxxstd: "03,0x"
+          - name: "TOOLSET=gcc-4.7 CXXSTD=03,11 Job 2"
+            buildtype: "boost"
+            packages: "g++-4.7"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "gcc-4.7"
+            cxxstd: "03,11"
+          - name: "TOOLSET=gcc-4.8 CXXSTD=03,11,1y Job 3"
+            buildtype: "boost"
+            packages: "g++-4.8"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "gcc-4.8"
+            cxxstd: "03,11,1y"
+          - name: "TOOLSET=gcc-4.9 CXXSTD=03,11,14 Job 4"
+            buildtype: "boost"
+            packages: "g++-4.9"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "gcc-4.9"
+            cxxstd: "03,11,14"
+          - name: "TOOLSET=gcc-5 CXXSTD=03,11,14,17 Job 5"
+            buildtype: "boost"
+            packages: "g++-5"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "gcc-5"
+            cxxstd: "03,11,14,17"
+          - name: "TOOLSET=gcc-6 CXXSTD=03,11,14,17 Job 6"
+            buildtype: "boost"
+            packages: "g++-6"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "gcc-6"
+            cxxstd: "03,11,14,17"
+          - name: "TOOLSET=gcc-7 CXXSTD=03,11,14,17 Job 7"
+            buildtype: "boost"
+            packages: "g++-7"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "gcc-7"
+            cxxstd: "03,11,14,17"
+          - name: "TOOLSET=gcc-8 CXXSTD=03,11,14,17,2a Job 8"
+            buildtype: "boost"
+            packages: "g++-8"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "gcc-8"
+            cxxstd: "03,11,14,17,2a"
+          - name: "TOOLSET=clang-3.5 CXXSTD=03,11,14,1z Job 9"
+            buildtype: "boost"
+            packages: "clang-3.5"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "clang-3.5"
+            cxxstd: "03,11,14"
+          - name: "TOOLSET=clang-3.6 CXXSTD=03,11,14,1z Job 10"
+            buildtype: "boost"
+            packages: "clang-3.6"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "clang-3.6"
+            cxxstd: "03,11,14"
+          - name: "TOOLSET=clang-3.7 CXXSTD=03,11,14,1z Job 11"
+            buildtype: "boost"
+            packages: "clang-3.7"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "clang-3.7"
+            cxxstd: "03,11,14"
+          - name: "TOOLSET=clang-3.8 CXXSTD=03,11,14,1z Job 12"
+            buildtype: "boost"
+            packages: "clang-3.8"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "clang-3.8"
+            cxxstd: "03,11,14"
+          - name: "TOOLSET=clang-3.9 CXXSTD=03,11,14,1z Job 13"
+            buildtype: "boost"
+            packages: "clang-3.9"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "clang-3.9"
+            cxxstd: "03,11,14"
+          - name: "TOOLSET=clang-4.0 CXXSTD=03,11,14,1z Job 14"
+            buildtype: "boost"
+            packages: "clang-4.0"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            toolset: "clang-4.0"
+            cxxstd: "03,11,14"
+          - name: "TOOLSET=clang-5.0 CXXSTD=03,11,14,17,2a Job 15"
+            buildtype: "boost"
+            packages: "clang-5.0"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: "xenial"
+            llvm_ver: "5.0"
+            toolset: "clang-5.0"
+            cxxstd: "03,11,14,17,2a"
+          - name: "TOOLSET=clang-6.0 CXXSTD=03,11,14,17,2a Job 16"
+            buildtype: "boost"
+            packages: "clang-6.0"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: "xenial"
+            llvm_ver: "6.0"
+            toolset: "clang-6.0"
+            cxxstd: "03,11,14,17,2a"
+          - name: "TOOLSET=clang-7 CXXSTD=03,11,14,17,2a Job 17"
+            buildtype: "boost"
+            packages: "clang-7"
+            packages_to_remove: ""
+            os: "ubuntu-20.04"
+            container: "ubuntu:16.04"
+            cxx: "g++"
+            sources: ""
+            llvm_os: "xenial"
+            llvm_ver: "7"
+            toolset: "clang-7"
+            cxxstd: "03,11,14,17,2a"
+
+    runs-on: ${{ matrix.os }}
+    container: ${{ matrix.container }}
+
+    steps:
+      - name: Check if running in container
+        if: matrix.container != ''
+        run: echo "GHA_CONTAINER=${{ matrix.container }}" >> $GITHUB_ENV
+      - name: If running in container, upgrade packages
+        if: matrix.container != ''
+        run: |
+            apt-get -o Acquire::Retries=3 update && DEBIAN_FRONTEND=noninteractive apt-get -y install tzdata && apt-get -o Acquire::Retries=3 install -y sudo software-properties-common wget curl apt-transport-https make apt-file sudo unzip libssl-dev build-essential autotools-dev autoconf automake g++ libc++-helpers python ruby cpio gcc-multilib g++-multilib pkgconf python3 ccache libpython-dev
+            sudo apt-add-repository ppa:git-core/ppa
+            sudo apt-get -o Acquire::Retries=3 update && apt-get -o Acquire::Retries=3 -y install git
+            python_version=$(python3 -c 'import sys; print("{0.major}.{0.minor}".format(sys.version_info))')
+            sudo wget https://bootstrap.pypa.io/pip/$python_version/get-pip.py
+            sudo python3 get-pip.py
+            sudo /usr/local/bin/pip install cmake
+
+      - uses: actions/checkout@v2
+
+      - name: linux
+        shell: bash
+        env:
+          CXX: ${{ matrix.cxx }}
+          SOURCES: ${{ matrix.sources }}
+          LLVM_OS: ${{ matrix.llvm_os }}
+          LLVM_VER: ${{ matrix.llvm_ver }}
+          PACKAGES: ${{ matrix.packages }}
+          PACKAGES_TO_REMOVE: ${{ matrix.packages_to_remove }}
+          JOB_BUILDTYPE: ${{ matrix.buildtype }}
+          TOOLSET: ${{ matrix.toolset }}
+          CXXSTD: ${{ matrix.cxxstd }}
+          COMPILER: ${{ matrix.compiler }}
+          TRAVIS_BRANCH: ${{ github.base_ref }}
+          TRAVIS_OS_NAME: "linux"
+        run: |
+          echo '==================================> SETUP'
+          echo '==================================> PACKAGES'
+          set -e
+          if [ -n "$PACKAGES_TO_REMOVE" ]; then sudo apt-get purge -y $PACKAGES_TO_REMOVE; fi
+          echo ">>>>> APT: REPO.."
+          for i in {1..3}; do sudo -E apt-add-repository -y "ppa:ubuntu-toolchain-r/test" && break || sleep 2; done
+          
+          if test -n "${LLVM_OS}" ; then
+              wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
+              if test -n "${LLVM_VER}" ; then
+                  sudo -E apt-add-repository "deb http://apt.llvm.org/${LLVM_OS}/ llvm-toolchain-${LLVM_OS}-${LLVM_VER} main"
+              else
+                  # Snapshot (i.e. trunk) build of clang
+                  sudo -E apt-add-repository "deb http://apt.llvm.org/${LLVM_OS}/ llvm-toolchain-${LLVM_OS} main"
+              fi
+          fi
+          echo ">>>>> APT: UPDATE.."
+          sudo -E apt-get -o Acquire::Retries=3 update
+          if test -n "${SOURCES}" ; then
+              echo ">>>>> APT: INSTALL SOURCES.."
+              for SOURCE in $SOURCES; do
+                  sudo -E apt-add-repository ppa:$SOURCE
+              done
+          fi
+          echo ">>>>> APT: INSTALL ${PACKAGES}.."
+          sudo -E DEBIAN_FRONTEND=noninteractive apt-get -o Acquire::Retries=3 -y --no-install-suggests --no-install-recommends install ${PACKAGES}
+
+          echo '==================================> INSTALL AND COMPILE'
+          set -e
+          export TRAVIS_BUILD_DIR=$(pwd)
+          export TRAVIS_BRANCH=${TRAVIS_BRANCH:-$(echo $GITHUB_REF | awk 'BEGIN { FS = "/" } ; { print $3 }')}
+          export VCS_COMMIT_ID=$GITHUB_SHA
+          export GIT_COMMIT=$GITHUB_SHA
+          export REPO_NAME=$(basename $GITHUB_REPOSITORY)
+          export USER=$(whoami)
+          export CC=${CC:-gcc}
+          export PATH=~/.local/bin:/usr/local/bin:$PATH
+
+          if [ "$JOB_BUILDTYPE" == "boost" ]; then
+
+          echo '==================================> INSTALL'
+
+          BOOST_BRANCH=develop && [ "$TRAVIS_BRANCH" == "master" ] && BOOST_BRANCH=master || true
+          cd ..
+          git clone --depth 1 -b $BOOST_BRANCH https://github.com/boostorg/boost.git boost-root
+          cd boost-root
+          git submodule init libs/array
+          git submodule init libs/assert
+          git submodule init libs/bind
+          git submodule init libs/concept_check
+          git submodule init libs/config
+          git submodule init libs/container_hash
+          git submodule init libs/conversion
+          git submodule init libs/core
+          git submodule init libs/detail
+          git submodule init libs/function
+          git submodule init libs/function_types
+          git submodule init libs/functional
+          git submodule init libs/integer
+          git submodule init libs/iterator
+          git submodule init libs/lambda
+          git submodule init libs/move
+          git submodule init libs/mpl
+          git submodule init libs/optional
+          git submodule init libs/predef
+          git submodule init libs/preprocessor
+          git submodule init libs/smart_ptr
+          git submodule init libs/static_assert
+          git submodule init libs/throw_exception
+          git submodule init libs/tuple
+          git submodule init libs/type_index
+          git submodule init libs/type_traits
+          git submodule init libs/typeof
+          git submodule init libs/utility
+          git submodule init libs/describe
+          git submodule init libs/mp11
+          git submodule init libs/headers tools/boost_install tools/build
+          git submodule update
+          rm -rf libs/fusion
+          cp -rp $TRAVIS_BUILD_DIR libs/fusion
+          ln -s $(pwd)/libs/fusion $TRAVIS_BUILD_DIR
+          ./bootstrap.sh
+          ./b2 headers
+
+          echo '==================================> SCRIPT'
+
+          ./b2 -j`(nproc || sysctl -n hw.ncpu) 2> /dev/null` libs/fusion/test toolset=$TOOLSET cxxstd=$CXXSTD
+
+          fi
+  osx:
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - name: "TOOLSET=clang COMPILER=clang++ CXXSTD=03,11,1 Job 18"
+            buildtype: "boost"
+            packages: ""
+            os: "macos-10.15"
+            cxx: "clang++"
+            sources: ""
+            llvm_os: ""
+            llvm_ver: ""
+            xcode_version: 11.7
+            toolset: "clang"
+            compiler: "clang++"
+            cxxstd: "03,11,14,1z"
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: Set DEVELOPER_DIR
+        if: matrix.xcode_version != ''
+        run: echo "DEVELOPER_DIR=/Applications/Xcode_${{ matrix.xcode_version }}.app/Contents/Developer" >> $GITHUB_ENV
+      - name: Test DEVELOPER_DIR
+        run: echo $DEVELOPER_DIR
+
+      - name: "osx"
+        shell: bash
+        env:
+          CXX: ${{ matrix.cxx }}
+          SOURCES: ${{ matrix.sources }}
+          LLVM_OS: ${{ matrix.llvm_os }}
+          LLVM_VER: ${{ matrix.llvm_ver }}
+          PACKAGES: ${{ matrix.packages }}
+          JOB_BUILDTYPE: ${{ matrix.buildtype }}
+          TOOLSET: ${{ matrix.toolset }}
+          CXXSTD: ${{ matrix.cxxstd }}
+          COMPILER: ${{ matrix.compiler }}
+          TRAVIS_BRANCH: ${{ github.base_ref }}
+          TRAVIS_OS_NAME: "osx"
+        run: |
+          echo '==================================> SETUP'
+          set -e
+          sudo mv /Library/Developer/CommandLineTools /Library/Developer/CommandLineTools.bck
+          echo '==================================> PACKAGES'
+          echo '==================================> INSTALL AND COMPILE'
+          set -e
+          export TRAVIS_BUILD_DIR=$(pwd)
+          export TRAVIS_BRANCH=${TRAVIS_BRANCH:-$(echo $GITHUB_REF | awk 'BEGIN { FS = "/" } ; { print $3 }')}
+          export VCS_COMMIT_ID=$GITHUB_SHA
+          export GIT_COMMIT=$GITHUB_SHA
+          export REPO_NAME=$(basename $GITHUB_REPOSITORY)
+          export USER=$(whoami)
+          export CC=${CC:-gcc}
+          export PATH=~/.local/bin:/usr/local/bin:$PATH
+
+          if [ "$JOB_BUILDTYPE" == "boost" ]; then
+
+          echo '==================================> INSTALL'
+
+          BOOST_BRANCH=develop && [ "$TRAVIS_BRANCH" == "master" ] && BOOST_BRANCH=master || true
+          cd ..
+          git clone --depth 1 -b $BOOST_BRANCH https://github.com/boostorg/boost.git boost-root
+          cd boost-root
+          git submodule init libs/array
+          git submodule init libs/assert
+          git submodule init libs/bind
+          git submodule init libs/concept_check
+          git submodule init libs/config
+          git submodule init libs/container_hash
+          git submodule init libs/conversion
+          git submodule init libs/core
+          git submodule init libs/detail
+          git submodule init libs/function
+          git submodule init libs/function_types
+          git submodule init libs/functional
+          git submodule init libs/integer
+          git submodule init libs/iterator
+          git submodule init libs/lambda
+          git submodule init libs/move
+          git submodule init libs/mpl
+          git submodule init libs/optional
+          git submodule init libs/predef
+          git submodule init libs/preprocessor
+          git submodule init libs/smart_ptr
+          git submodule init libs/static_assert
+          git submodule init libs/throw_exception
+          git submodule init libs/tuple
+          git submodule init libs/type_index
+          git submodule init libs/type_traits
+          git submodule init libs/typeof
+          git submodule init libs/utility
+          git submodule init libs/describe
+          git submodule init libs/mp11
+          git submodule init libs/headers tools/boost_install tools/build
+          git submodule update
+          rm -rf libs/fusion
+          cp -rp $TRAVIS_BUILD_DIR libs/fusion
+          ln -s $(pwd)/libs/fusion $TRAVIS_BUILD_DIR
+          ./bootstrap.sh
+          ./b2 headers
+
+          echo '==================================> SCRIPT'
+
+          ./b2 -j`(nproc || sysctl -n hw.ncpu) 2> /dev/null` libs/fusion/test toolset=$TOOLSET cxxstd=$CXXSTD
+
+          fi

.travis.yml

@@ -21,32 +21,48 @@ matrix:
     - env: BOGUS_JOB=true
 
   include:
-      # trusty default (gcc 4.8.4)
-    - os: linux
-      env: TOOLSET=gcc CXXSTD=03,11,1y
-
     - os: linux
+      dist: xenial
       env: TOOLSET=gcc-4.4 CXXSTD=98,0x
       addons:
         apt:
           packages:
             - g++-4.4
+          sources:
+            - ubuntu-toolchain-r-test
+
+    #- os: linux
+    #  dist: xenial
+    #  env: TOOLSET=gcc-4.5 CXXSTD=03,0x
+    #  addons:
+    #    apt:
+    #      packages:
+    #        - g++-4.5
+    #      sources:
+    #        - ubuntu-toolchain-r-test
 
     - os: linux
+      dist: xenial
       env: TOOLSET=gcc-4.6 CXXSTD=03,0x
       addons:
         apt:
           packages:
             - g++-4.6
+          sources:
+            - ubuntu-toolchain-r-test
 
     - os: linux
+      dist: xenial
       env: TOOLSET=gcc-4.7 CXXSTD=03,11
       addons:
         apt:
           packages:
             - g++-4.7
+          sources:
+            - ubuntu-toolchain-r-test
 
     - os: linux
+      dist: xenial
       env: TOOLSET=gcc-4.8 CXXSTD=03,11,1y
       addons:
         apt:
@@ -56,7 +72,8 @@ matrix:
             - ubuntu-toolchain-r-test
 
     - os: linux
-      env: TOOLSET=gcc-4.9 CXXSTD=03,11,1y
+      dist: xenial
+      env: TOOLSET=gcc-4.9 CXXSTD=03,11,14
       addons:
         apt:
           packages:
@@ -65,7 +82,8 @@ matrix:
             - ubuntu-toolchain-r-test
 
     - os: linux
-      env: TOOLSET=gcc-5 CXXSTD=03,11,14,1z
+      dist: xenial
+      env: TOOLSET=gcc-5 CXXSTD=03,11,14,17
       addons:
         apt:
           packages:
@@ -74,7 +92,8 @@ matrix:
             - ubuntu-toolchain-r-test
 
     - os: linux
-      env: TOOLSET=gcc-6 CXXSTD=03,11,14,1z
+      dist: xenial
+      env: TOOLSET=gcc-6 CXXSTD=03,11,14,17
       addons:
         apt:
           packages:
@@ -83,7 +102,8 @@ matrix:
             - ubuntu-toolchain-r-test
 
     - os: linux
-      env: TOOLSET=gcc-7 CXXSTD=03,11,14,1z
+      dist: xenial
+      env: TOOLSET=gcc-7 CXXSTD=03,11,14,17
       addons:
         apt:
           packages:
@@ -91,87 +111,93 @@ matrix:
           sources:
             - ubuntu-toolchain-r-test
 
-      # trusty default (clang 3.9.0)
     - os: linux
-      env: TOOLSET=clang CXXSTD=03,11,14,1z
+      dist: xenial
+      env: TOOLSET=gcc-8 CXXSTD=03,11,14,17,2a
       addons:
         apt:
           packages:
-            - libstdc++-4.9-dev
+            - g++-8
           sources:
             - ubuntu-toolchain-r-test
 
     - os: linux
+      dist: xenial
       env: TOOLSET=clang-3.5 CXXSTD=03,11,14,1z
       addons:
         apt:
           packages:
             - clang-3.5
-            - libstdc++-4.9-dev
-          sources:
-            - ubuntu-toolchain-r-test
 
     - os: linux
+      dist: xenial
       env: TOOLSET=clang-3.6 CXXSTD=03,11,14,1z
       addons:
         apt:
           packages:
             - clang-3.6
-          sources:
-            - ubuntu-toolchain-r-test
-            - llvm-toolchain-precise-3.6
 
     - os: linux
+      dist: xenial
       env: TOOLSET=clang-3.7 CXXSTD=03,11,14,1z
       addons:
         apt:
           packages:
             - clang-3.7
-          sources:
-            - ubuntu-toolchain-r-test
-            - llvm-toolchain-precise-3.7
 
     - os: linux
+      dist: xenial
       env: TOOLSET=clang-3.8 CXXSTD=03,11,14,1z
       addons:
         apt:
           packages:
             - clang-3.8
-            - libstdc++-4.9-dev
-          sources:
-            - ubuntu-toolchain-r-test
 
     - os: linux
+      dist: xenial
       env: TOOLSET=clang-3.9 CXXSTD=03,11,14,1z
       addons:
         apt:
           packages:
             - clang-3.9
-            - libstdc++-4.9-dev
-          sources:
-            - ubuntu-toolchain-r-test
 
     - os: linux
+      dist: xenial
       env: TOOLSET=clang-4.0 CXXSTD=03,11,14,1z
       addons:
         apt:
           packages:
             - clang-4.0
-            - libstdc++-4.9-dev
-          sources:
-            - ubuntu-toolchain-r-test
-            - llvm-toolchain-trusty-4.0
 
     - os: linux
-      env: TOOLSET=clang-5.0 CXXSTD=03,11,14,1z,2a
+      dist: xenial
+      env: TOOLSET=clang-5.0 CXXSTD=03,11,14,17,2a
       addons:
         apt:
           packages:
             - clang-5.0
-            - libstdc++-4.9-dev
           sources:
-            - ubuntu-toolchain-r-test
-            - llvm-toolchain-trusty-5.0
+            - llvm-toolchain-xenial-5.0
+
+    - os: linux
+      dist: xenial
+      env: TOOLSET=clang-6.0 CXXSTD=03,11,14,17,2a
+      addons:
+        apt:
+          packages:
+            - clang-6.0
+          sources:
+            - llvm-toolchain-xenial-6.0
+
+    - os: linux
+      dist: xenial
+      env: TOOLSET=clang-7.0 CXXSTD=03,11,14,17,2a
+      addons:
+        apt:
+          packages:
+            - clang-7
+          sources:
+            - llvm-toolchain-xenial-7
 
     - os: osx
       env: TOOLSET=clang COMPILER=clang++ CXXSTD=03,11,14,1z
@@ -211,7 +237,7 @@ install:
   - git submodule init libs/typeof
   - git submodule init libs/utility
 
-  - git submodule init tools/build
+  - git submodule init libs/headers tools/boost_install tools/build
   - git submodule update
 
   - rm -rf libs/fusion

CMakeLists.txt

@@ -0,0 +1,29 @@
+# Copyright 2018 Mike Dev
+# Distributed under the Boost Software License, Version 1.0.
+# See accompanying file LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt
+
+cmake_minimum_required(VERSION 3.5...3.20)
+project(boost_fusion VERSION "${BOOST_SUPERPROJECT_VERSION}" LANGUAGES CXX)
+
+add_library(boost_fusion INTERFACE)
+add_library(Boost::fusion ALIAS boost_fusion)
+
+target_include_directories(boost_fusion INTERFACE include)
+
+target_link_libraries(boost_fusion
+    INTERFACE
+        Boost::config
+        Boost::container_hash
+        Boost::core
+        Boost::function_types
+        Boost::mpl
+        Boost::preprocessor
+        Boost::static_assert
+        Boost::tuple
+        Boost::type_traits
+        Boost::typeof
+        Boost::utility
+        Boost::functional
+        Boost::describe
+        Boost::mp11
+)

appveyor.yml

@@ -9,17 +9,21 @@ shallow_clone: true
 
 environment:
   matrix:
-    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2013
+    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2015
       TOOLSET: msvc-9.0
+      ADDRMD: 32
       CXXSTD: latest # fake
-    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2013
+    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2015
       TOOLSET: msvc-10.0
+      ADDRMD: 32
       CXXSTD: latest # fake
-    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2013
+    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2015
       TOOLSET: msvc-11.0
+      ADDRMD: 32
       CXXSTD: latest # fake
-    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2013
+    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2015
       TOOLSET: msvc-12.0
+      ADDRMD: 32
       CXXSTD: latest # fake
     - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2015
       TOOLSET: msvc-14.0
@@ -36,6 +40,12 @@ environment:
     - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
       TOOLSET: msvc-14.1
       CXXSTD: latest
+    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
+      TOOLSET: clang-win
+      CXXSTD: 14
+    - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
+      TOOLSET: clang-win
+      CXXSTD: 17
 
 install:
   - set BOOST_BRANCH=develop
@@ -72,8 +82,10 @@ install:
   - git submodule init libs/type_traits
   - git submodule init libs/typeof
   - git submodule init libs/utility
+  - git submodule init libs/describe
+  - git submodule init libs/mp11
 
-  - git submodule init tools/build
+  - git submodule init libs/headers tools/boost_install tools/build
   - git submodule update
   - xcopy /s /e /q %APPVEYOR_BUILD_FOLDER% libs\fusion
   - cmd /c bootstrap
@@ -82,4 +94,5 @@ install:
 build: off
 
 test_script:
-  - b2 -j%NUMBER_OF_PROCESSORS% --hash libs/fusion/test toolset=%TOOLSET% cxxstd=%CXXSTD%
+  - if not "%ADDRMD%" == "" set ADDRMD=address-model=%ADDRMD%
+  - b2 -j%NUMBER_OF_PROCESSORS% --hash libs/fusion/test toolset=%TOOLSET% cxxstd=%CXXSTD% %ADDRMD%

doc/adapted.qbk

@@ -23,19 +23,6 @@ various data structures, non-intrusively, as full fledged Fusion sequences.
     #include <boost/fusion/adapted.hpp>
     #include <boost/fusion/include/adapted.hpp>
 
-Fusion sequences may also be adapted as fully conforming __mpl__ sequences (see
-__intrinsics__). That way, we can have 2-way adaptation to and from __mpl__ and
-Fusion. To make Fusion sequences fully conforming __mpl__ sequences, include:
-
-    #include <boost/fusion/mpl.hpp>
-
-If you want bi-directional adaptation to and from __mpl__ and Fusion, simply
-include:
-
-    #include <boost/fusion/include/mpl.hpp>
-
-The header includes all the necessary headers.
-
 [section:array Array]
 
 This module provides adapters for arrays. Including the module
@@ -145,6 +132,21 @@ header makes all __mpl__ sequences fully conforming fusion sequences.
     std::cout << __at_c__<0>(v) << std::endl;
     std::cout << __at_c__<1>(v) << std::endl;
 
+[heading Bi-directional adaptation]
+
+Fusion sequences may also be adapted as fully conforming __mpl__ sequences (see
+__intrinsics__). That way, we can have 2-way adaptation to and from __mpl__ and
+Fusion. To make Fusion sequences fully conforming __mpl__ sequences, include:
+
+    #include <boost/fusion/mpl.hpp>
+
+If you want bi-directional adaptation to and from __mpl__ and Fusion, simply
+include:
+
+    #include <boost/fusion/include/mpl.hpp>
+
+The header includes all the necessary headers.
+
 [heading See also]
 
 __mpl__

doc/container.qbk

@@ -1016,8 +1016,8 @@ __note_ref_wrappers__, __fusion_pair__
 
 [section Tiers]
 
-Tiers are sequences, where all elements are non-const reference types. They
-are constructed with a call to a couple of /tie/ function templates. The
+Tiers are sequences, where all elements are reference types. They are
+constructed with a call to a couple of /tie/ function templates. The
 succeeding sections document the various /tier/ flavors.
 
 * __list_tie__
@@ -2005,7 +2005,7 @@ __fusion_pair__s. There may be no duplicate __fusion_pair__ key types.
     as_map(__make_vector__(
         __fusion_make_pair__<int>('X')
       , __fusion_make_pair__<double>("Men")))
-    
+
     // from associative sequence
     namespace ns
     {
@@ -2222,7 +2222,7 @@ __fusion_pair__s. There may be no duplicate __fusion_pair__ key types.
     result_of::as_map<__vector__<
         __fusion_pair__<int, char>
       , __fusion_pair__<double, std::string> > >::type
-    
+
     // from associative sequence
     namespace ns
     {

doc/fusion.qbk

@@ -130,6 +130,7 @@
 [def __reverse_view__           [link fusion.view.reverse_view `reverse_view`]]
 [def __zip_view__               [link fusion.view.zip_view `zip_view`]]
 [def __flatten_view__           [link fusion.view.flatten_view `flatten_view`]]
+[def __identity_view__          [link fusion.view.identity_view `identity_view`]]
 
 [def __array__                  [link fusion.adapted.array array]]
 [def __std_pair__               [link fusion.adapted.std__pair `std::pair`]]

doc/html/index.html

@@ -163,6 +163,7 @@
 <dt><span class="section"><a href="fusion/view/zip_view.html">zip_view</a></span></dt>
 <dt><span class="section"><a href="fusion/view/transform_view.html">transform_view</a></span></dt>
 <dt><span class="section"><a href="fusion/view/reverse_view.html">reverse_view</a></span></dt>
+<dt><span class="section"><a href="fusion/view/identity_view.html">identity_view</a></span></dt>
 <dt><span class="section"><a href="fusion/view/nview.html">nview</a></span></dt>
 <dt><span class="section"><a href="fusion/view/repetitive_view.html">repetitive_view</a></span></dt>
 <dt><span class="section"><a href="fusion/view/flatten_view.html">flatten_view</a></span></dt>

doc/iterator.qbk

@@ -254,6 +254,7 @@ expressions must be valid:
 * __iterator_range__ iterator (where adapted iterators are __associative_iterator__\ s)
 * __joint_view__ iterator (where adapted sequences are __associative_sequence__\ s and __forward_sequence__\ s)
 * __reverse_view__ iterator (where adapted sequence is an __associative_sequence__ and a __bidirectional_sequence__)
+* __transform_view__ iterator (where adapted sequence is an __associative_sequence__ and a __forward_sequence__)
 
 [endsect]
 

doc/organization.qbk

@@ -60,6 +60,7 @@ link against.
     * single_view
     * transform_view
     * zip_view
+    * identity_view
 * container
     * deque
     * list

doc/sequence.qbk

@@ -166,7 +166,7 @@ Bidirectional Sequence the following must be met:
     [[`__back__(s)`]        [Any type]                      []                      [Constant]]
     [[`__back__(s) = o`]    [Any type]                      [`s` is mutable and
                                                         `e = o`, where `e`
-                                                        is the first element
+                                                        is the last element
                                                         in the sequence, is
                                                         a valid expression.]    [Constant]]
 ]
@@ -237,14 +237,14 @@ any Random Access Sequence the following must be met:
     [[`__at_c__<N>(s)`]     [Any type]                      []                      [Constant]]
     [[`__at_c__<N>(s) = o`] [Any type]                      [`s` is mutable and
                                                         `e = o`, where `e`
-                                                        is the first element
-                                                        in the sequence, is
+                                                        is the N-th element from the beginning
+                                                        of the sequence, is
                                                         a valid expression.]        [Constant]]
     [[`__at__<M>(s)`]       [Any type]                      []                      [Constant]]
     [[`__at__<M>(s) = o`]   [Any type]                      [`s` is mutable and
                                                         `e = o`, where `e`
-                                                        is the first element
-                                                        in the sequence, is
+                                                        is the M-th element from the beginning
+                                                        of the sequence, is
                                                         a valid expression.]        [Constant]]
 ]
 
@@ -321,8 +321,7 @@ For any Associative Sequence the following expressions must be valid:
     [[`__at_key__<K>(s)`]       [Any type]                  []                      [Constant]]
     [[`__at_key__<K>(s) = o`]   [Any type]                  [`s` is mutable and
                                                         `e = o`, where `e`
-                                                        is the first element
-                                                        in the sequence, is
+                                                        is the element associated with K, is
                                                         a valid expression.]    [Constant]]
 ]
 
@@ -361,6 +360,7 @@ you can use `__result_of_value_at_key__<S, K>`.]
 * __iterator_range__ (where adapted iterators are __associative_iterator__\ s)
 * __joint_view__     (where adapted sequences are __associative_sequence__\ s and __forward_sequence__\ s)
 * __reverse_view__   (where adapted sequence is an __associative_sequence__ and a __bidirectional_sequence__)
+* __transform_view__ (where adapted sequence is an __associative_sequence__ and a __forward_sequence__)
 
 [endsect]
 
@@ -714,11 +714,11 @@ Returns the M-th element from the beginning of the sequence.
 [heading Synopsis]
 
     template <typename M, typename Sequence>
-    typename __result_of_at__<Sequence, N>::type
+    typename __result_of_at__<Sequence, M>::type
     at(Sequence& seq);
 
     template <typename M, typename Sequence>
-    typename __result_of_at__<Sequence const, N>::type
+    typename __result_of_at__<Sequence const, M>::type
     at(Sequence const& seq);
 
 [heading Parameters]
@@ -1522,6 +1522,16 @@ each element. Analogously, the global `operator>>` has been overloaded
 to extract __sequence__(s) from generic input streams by recursively
 calling `operator>>` for each element.
 
+Please note that, to display your adapted types via fusion IO system,
+corresponding overloaded operators should be introduced to same namespace
+of the type.
+
+    namespace your_awesome_library
+    {
+        using boost::fusion::operators::operator>>; // for input
+        using boost::fusion::operators::operator<<; // for output
+        ...
+
 The default delimiter between the elements is space, and the __sequence__
 is enclosed in parenthesis. For Example:
 

doc/view.qbk

@@ -1,6 +1,7 @@
 [/==============================================================================
     Copyright (C) 2001-2011 Joel de Guzman
     Copyright (C) 2006 Dan Marsden
+    Copyright (c) 2022 Denis Mikhailov
 
     Use, modification and distribution is subject to the Boost Software
     License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
@@ -93,10 +94,9 @@ presents only those elements for which its predicate evaluates to
 [heading Template parameters]
 
 [table
-    [[Parameter]            [Description]               [Default]]
-    [[`Sequence`]           [A __forward_sequence__]    []]
-    [[`Pred`]               [Unary Metafunction
-                             returning an `mpl::bool_`] []]
+    [[Parameter]            [Description]                       [Default]]
+    [[`Sequence`]           [A __forward_sequence__]            []]
+    [[`Pred`]               [A unary __mpl_lambda_expression__] []]
 ]
 
 [heading Model of]
@@ -271,7 +271,7 @@ defined in the implemented models.
 [heading Description]
 
 `zip_view` presents a view which iterates over a collection of __sequence__(s) in parallel. A `zip_view`
-is constructed from a __sequence__ of references to the component __sequence__s.
+is constructed from a __sequence__ of references to the component `__sequence__`s.
 
 [heading Header]
 
@@ -287,7 +287,7 @@ is constructed from a __sequence__ of references to the component __sequence__s.
 
 [table
     [[Parameter]            [Description]                   [Default]]
-    [[`Sequences`]          [A __forward_sequence__ of references to other Fusion __sequence__s]        []]
+    [[`Sequences`]          [A __forward_sequence__ of references to other Fusion `__sequence__`s]        []]
 ]
 
 [heading Model of]
@@ -309,7 +309,7 @@ defined in __forward_sequence__.
 
 [table
     [[Expression]           [Semantics]]
-    [[`ZV(s)`]              [Creates a `zip_view` given a sequence of references to the component __sequence__s.]]
+    [[`ZV(s)`]              [Creates a `zip_view` given a sequence of references to the component `__sequence__`s.]]
     [[`ZV(zv1)`]             [Copy constructs a `zip_view` from another `zip_view`, `zv`.]]
     [[`zv1 = zv2`]           [Assigns to a `zip_view`, `zv`, from another `zip_view`, `zv2`.]]
 ]
@@ -329,9 +329,7 @@ defined in __forward_sequence__.
 The unary version of `transform_view` presents a view of its underlying
 sequence given a unary function object or function pointer. The binary
 version of `transform_view` presents a view of 2 underlying sequences,
-given a binary function object or function pointer. The `transform_view`
-inherits the traversal characteristics (see __traversal_concept__)  of
-its underlying sequence or sequences.
+given a binary function object or function pointer.
 
 [heading Header]
 
@@ -365,7 +363,8 @@ its underlying sequence or sequences.
 
 * __forward_sequence__, __bidirectional_sequence__ or
 __random_access_sequence__ depending on the traversal characteristics (see
-__traversal_concept__) of its underlying sequence.
+__traversal_concept__) of its underlying sequence or sequences.
+* __associative_sequence__ if underlying sequence implements the __associative_sequence__ model(available only with unary version of `transform_view`).
 
 [variablelist Notation
     [[`TV`]             [A `transform_view` type]]
@@ -382,9 +381,7 @@ __traversal_concept__) of its underlying sequence.
 [heading Expression Semantics]
 
 Semantics of an expression is defined only where it differs from, or is not
-defined in __forward_sequence__, __bidirectional_sequence__ or
-__random_access_sequence__ depending on the traversal characteristics (see
-__traversal_concept__) of its underlying sequence or sequences.
+defined in the implemented models.
 
 [table
     [[Expression]           [Semantics]]
@@ -668,4 +665,60 @@ defined in __forward_sequence__.
 
 [endsect]
 
+[section identity_view]
+
+[heading Description]
+
+`identity_view` presents underlying sequence unchanged.
+
+[heading Header]
+
+    #include <boost/fusion/view/identity_view.hpp>
+    #include <boost/fusion/include/identity_view.hpp>
+
+[heading Synopsis]
+
+    template <typename Sequence>
+    struct identity_view;
+
+[heading Template parameters]
+
+[table
+    [[Parameter]            [Description]                   [Default]]
+    [[`Sequence`]           [A __forward_sequence__]        []]
+]
+
+[heading Model of]
+
+* A model of __forward_sequence__ if `Sequence` is a __forward_sequence__ else, __bidirectional_sequence__ if `Sequence` is a __bidirectional_sequence__
+else, __random_access_sequence__ if `Sequence` is a __random_access_sequence__.
+* __associative_sequence__ if `Sequence` implements the __associative_sequence__ model.
+
+[variablelist Notation
+    [[`IV`]             [An `identity_view` type]]
+    [[`s`]              [An instance of `Sequence`]]
+    [[`iv`, `iv2`]      [Instances of `identity_view`]]
+]
+
+[heading Expression Semantics]
+
+Semantics of an expression is defined only where it differs from, or is not
+defined in the implemented models.
+
+[table
+    [[Expression]           [Semantics]]
+    [[`IV(s)`]              [Creates an `identity_view` given sequence, `s`.]]
+    [[`IV(iv)`]             [Copy constructs an `identity_view` from another `identity_view`, `iv`.]]
+    [[`iv = iv2`]           [Assigns to an `identity_view`, `iv`, from another `identity_view`, `iv2`.]]
+]
+
+[heading Example]
+    typedef __vector__<int, short, double> vector_type;
+    vector_type vec(2, 5, 3.3);
+
+    __identity_view__<vector_type> identity(vec);
+    std::cout << identity << std::endl; // (2 5 3.3)
+
+[endsect]
+
 [endsect]

example/cookbook/do_the_bind.cpp

@@ -46,7 +46,7 @@
 #include <boost/mpl/max.hpp>
 #include <boost/mpl/next.hpp>
 
-#include <boost/ref.hpp>
+#include <boost/core/ref.hpp>
 #include <iostream>
 #include <typeinfo>
 

include/boost/fusion/adapted/adt/adapt_adt.hpp

@@ -16,10 +16,6 @@
 #include <boost/preprocessor/empty.hpp>
 #include <boost/preprocessor/control/if.hpp>
 #include <boost/preprocessor/comparison/less.hpp>
-#include <boost/type_traits/add_reference.hpp>
-#include <boost/type_traits/is_const.hpp>
-#include <boost/type_traits/add_const.hpp>
-#include <boost/type_traits/remove_const.hpp>
 
 #include <boost/fusion/adapted/struct/detail/extension.hpp>
 #include <boost/fusion/adapted/struct/detail/adapt_base.hpp>

include/boost/fusion/adapted/adt/adapt_assoc_adt.hpp

@@ -15,9 +15,6 @@
 #include <boost/preprocessor/cat.hpp>
 #include <boost/preprocessor/empty.hpp>
 #include <boost/preprocessor/control/if.hpp>
-#include <boost/type_traits/add_reference.hpp>
-#include <boost/type_traits/is_const.hpp>
-#include <boost/type_traits/remove_const.hpp>
 
 #include <boost/fusion/adapted/struct/detail/extension.hpp>
 #include <boost/fusion/adapted/struct/detail/adapt_base.hpp>

include/boost/fusion/adapted/adt/detail/adapt_base.hpp

@@ -21,8 +21,8 @@
 #include <boost/preprocessor/tuple/elem.hpp>
 #include <boost/mpl/if.hpp>
 #include <boost/type_traits/is_const.hpp>
-#include <boost/type_traits/add_const.hpp>
 #include <boost/type_traits/remove_const.hpp>
+#include <boost/type_traits/remove_reference.hpp>
 
 #include <boost/typeof/typeof.hpp>
 
@@ -83,20 +83,8 @@
     typedef                                                                     \
         BOOST_PP_EXPR_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ),        \
                          typename)                                              \
-        boost::remove_const<                                                    \
-          BOOST_PP_EXPR_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ),      \
-                           typename) \
-          deduced_attr_type::type                                               \
-        >::type type;                                                           \
-                                                                                \
-    typedef                                                                     \
-        BOOST_PP_EXPR_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ),        \
-                         typename)   \
-        boost::add_const<                                                       \
-          BOOST_PP_EXPR_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ),      \
-                           typename) \
-          deduced_attr_type::type                                               \
-    >::type const_type;
+        deduced_attr_type::type type;                                           \
+    typedef type const_type;
 
 #define BOOST_FUSION_ADT_ATTRIBUTE_GIVENTYPE(                                   \
     NAME_SEQ, ATTRIBUTE, ATTRIBUTE_TUPLE_SIZE, PREFIX, TEMPLATE_PARAMS_SEQ)     \

include/boost/fusion/adapted/boost_array/array_iterator.hpp

@@ -18,6 +18,11 @@
 #include <boost/type_traits/is_const.hpp>
 #include <boost/fusion/iterator/iterator_facade.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct random_access_traversal_tag;
@@ -102,13 +107,13 @@ namespace boost { namespace fusion
                 return type();
             }
         };
-
-    private:
-
-        array_iterator<Array, Pos>& operator=(array_iterator<Array, Pos> const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/adapted/boost_tuple/boost_tuple_iterator.hpp

@@ -45,6 +45,10 @@ namespace boost { namespace fusion
     template <typename Cons>
     struct boost_tuple_iterator_identity;
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
     template <typename Cons = tuples::null_type>
     struct boost_tuple_iterator
         : iterator_facade<boost_tuple_iterator<Cons>, forward_traversal_tag>
@@ -143,11 +147,10 @@ namespace boost { namespace fusion
         struct equal_to
             : is_same<typename I1::identity, typename I2::identity>
         {};
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        boost_tuple_iterator& operator= (boost_tuple_iterator const&);
     };
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
 
     template <typename Null>
     struct boost_tuple_null_iterator

include/boost/fusion/adapted/std_array/std_array_iterator.hpp

@@ -19,6 +19,11 @@
 #include <boost/fusion/iterator/iterator_facade.hpp>
 #include <boost/fusion/adapted/std_array/detail/array_size.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct random_access_traversal_tag;
@@ -99,11 +104,11 @@ namespace boost { namespace fusion
                 return type();
             }
         };
-
-    private:
-
-        std_array_iterator<Array, Pos>& operator=(std_array_iterator<Array, Pos> const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #endif

include/boost/fusion/adapted/std_tuple/std_tuple_iterator.hpp

@@ -17,6 +17,11 @@
 #include <tuple>
 #include <utility>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct random_access_traversal_tag;
@@ -107,6 +112,10 @@ namespace boost { namespace fusion
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/adapted/struct/adapt_assoc_struct.hpp

@@ -15,10 +15,6 @@
 #include <boost/preprocessor/empty.hpp>
 #include <boost/preprocessor/control/iif.hpp>
 #include <boost/preprocessor/comparison/less.hpp>
-#include <boost/type_traits/add_reference.hpp>
-#include <boost/type_traits/is_const.hpp>
-#include <boost/type_traits/add_const.hpp>
-#include <boost/type_traits/remove_const.hpp>
 
 #include <boost/fusion/adapted/struct/detail/extension.hpp>
 #include <boost/fusion/adapted/struct/detail/adapt_base.hpp>

include/boost/fusion/adapted/struct/adapt_struct.hpp

@@ -18,10 +18,6 @@
 #include <boost/preprocessor/comparison/less.hpp>
 #include <boost/preprocessor/seq/seq.hpp>
 #include <boost/preprocessor/variadic/to_seq.hpp>
-#include <boost/type_traits/add_reference.hpp>
-#include <boost/type_traits/is_const.hpp>
-#include <boost/type_traits/add_const.hpp>
-#include <boost/type_traits/remove_const.hpp>
 
 #include <boost/fusion/adapted/struct/detail/extension.hpp>
 #include <boost/fusion/adapted/struct/detail/adapt_base.hpp>

include/boost/fusion/adapted/struct/detail/adapt_base.hpp

@@ -34,7 +34,9 @@
 #include <boost/mpl/tag.hpp>
 #include <boost/mpl/eval_if.hpp>
 #include <boost/mpl/identity.hpp>
+#include <boost/type_traits/is_const.hpp>
 #include <boost/type_traits/add_const.hpp>
+#include <boost/type_traits/add_reference.hpp>
 
 #include <boost/typeof/typeof.hpp>
 
@@ -141,7 +143,7 @@
         I,                                                                      \
         ATTRIBUTE)
 
-#ifdef BOOST_MSVC
+#if defined(BOOST_MSVC) && (BOOST_MSVC < 1935)
 #   define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAM(R,_,ELEM)     \
         typedef ELEM ELEM;
 #   define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS_IMPL(SEQ)    \

include/boost/fusion/adapted/struct/detail/define_struct_inline.hpp

@@ -326,6 +326,9 @@
 #define BOOST_FUSION_DEFINE_STRUCT_INLINE_ITERATOR_IMPL_IMPL(                   \
     NAME, ATTRIBUTES_SEQ, ATTRIBUTES_SEQ_SIZE)                                  \
                                                                                 \
+    BOOST_FUSION_PUSH_WARNINGS                                                  \
+    BOOST_FUSION_DISABLE_MSVC_WARNING(4512)                                     \
+                                                                                \
     template <typename boost_fusion_detail_Seq, int N>                          \
     struct BOOST_FUSION_ITERATOR_NAME(NAME)                                     \
         : boost::fusion::iterator_facade<                                       \
@@ -418,7 +421,10 @@
                 return type(it.seq_);                                           \
             }                                                                   \
         };                                                                      \
-    };
+    };                                                                          \
+                                                                                \
+    BOOST_FUSION_POP_WARNINGS                                                   \
+    /**/
 
 
 #define BOOST_FUSION_DEFINE_STRUCT_INLINE_MEMBERS_IMPL_IMPL(                    \

include/boost/fusion/adapted/struct/detail/proxy_type.hpp

@@ -19,6 +19,9 @@
                                                                                 \
     BOOST_FUSION_ADAPT_STRUCT_NAMESPACE_DEFINITION_BEGIN(NAMESPACE_SEQ)         \
                                                                                 \
+    BOOST_FUSION_PUSH_WARNINGS                                                  \
+    BOOST_FUSION_DISABLE_MSVC_WARNING(4512)                                     \
+                                                                                \
     struct NAME                                                                 \
     {                                                                           \
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED                                \
@@ -27,11 +30,10 @@
         {}                                                                      \
                                                                                 \
         WRAPPED_TYPE& obj;                                                      \
-                                                                                \
-    private:                                                                    \
-        NAME& operator= (NAME const&);                                          \
     };                                                                          \
                                                                                 \
+    BOOST_FUSION_POP_WARNINGS                                                   \
+                                                                                \
     BOOST_FUSION_ADAPT_STRUCT_NAMESPACE_DEFINITION_END(NAMESPACE_SEQ)
 
 #define BOOST_FUSION_ADAPT_STRUCT_DEFINE_PROXY_TYPE(                            \

include/boost/fusion/algorithm/iteration/detail/for_each.hpp

@@ -30,7 +30,7 @@ namespace detail
     template <typename First, typename Last, typename F>
     BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
     inline void
-    for_each_linear(First const& first, Last const& last, F const& f, mpl::false_)
+    for_each_linear(First const& first, Last const& last, F& f, mpl::false_)
     {
         f(*first);
         detail::for_each_linear(fusion::next(first), last, f, 
@@ -41,7 +41,7 @@ namespace detail
     template <typename Sequence, typename F, typename Tag>
     BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
     inline void
-    for_each_dispatch(Sequence& seq, F const& f, Tag)
+    for_each_dispatch(Sequence& seq, F& f, Tag)
     {
         detail::for_each_linear(
                                 fusion::begin(seq)
@@ -57,7 +57,7 @@ namespace detail
     {
         template<typename I0, typename F>
         BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-        static void call(I0 const& i0, F const& f)
+        static void call(I0 const& i0, F& f)
         {
             f(*i0);
             typedef typename result_of::next<I0>::type I1;
@@ -78,7 +78,7 @@ namespace detail
     {
         template<typename I0, typename F>
         BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-        static void call(I0 const& i0, F const& f)
+        static void call(I0 const& i0, F& f)
         {
             f(*i0);
             typedef typename result_of::next<I0>::type I1;
@@ -95,7 +95,7 @@ namespace detail
     {
         template<typename I0, typename F>
         BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-        static void call(I0 const& i0, F const& f)
+        static void call(I0 const& i0, F& f)
         {
             f(*i0);
             typedef typename result_of::next<I0>::type I1;
@@ -109,7 +109,7 @@ namespace detail
     {
         template<typename I0, typename F>
         BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-        static void call(I0 const& i0, F const& f)
+        static void call(I0 const& i0, F& f)
         {
             f(*i0);
         }
@@ -128,7 +128,7 @@ namespace detail
     template <typename Sequence, typename F>
     BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
     inline void
-    for_each_dispatch(Sequence& seq, F const& f, random_access_traversal_tag)
+    for_each_dispatch(Sequence& seq, F& f, random_access_traversal_tag)
     {
         typedef typename result_of::begin<Sequence>::type begin;
         typedef typename result_of::end<Sequence>::type end;
@@ -138,7 +138,7 @@ namespace detail
     template <typename Sequence, typename F>
     BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
     inline void
-    for_each(Sequence& seq, F const& f, mpl::false_) // unsegmented implementation
+    for_each(Sequence& seq, F& f, mpl::false_) // unsegmented implementation
     {
         detail::for_each_dispatch(seq, f, typename traits::category_of<Sequence>::type());
     }

include/boost/fusion/algorithm/iteration/detail/segmented_fold.hpp

@@ -14,6 +14,10 @@
 
 namespace boost { namespace fusion { namespace detail
 {
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
     template <typename Fun>
     struct segmented_fold_fun
     {
@@ -37,6 +41,9 @@ namespace boost { namespace fusion { namespace detail
             }
         };
     };
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
 
     // The default implementation of this lives in detail/fold.hpp
     template <typename Sequence, typename State, typename Fun, bool IsSequence, bool IsSegmented>

include/boost/fusion/algorithm/iteration/detail/segmented_for_each.hpp

@@ -13,17 +13,22 @@
 #include <boost/fusion/algorithm/iteration/for_each_fwd.hpp>
 #include <boost/fusion/support/segmented_fold_until.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion { namespace detail
 {
     template <typename Fun>
     struct segmented_for_each_fun
     {
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-        explicit segmented_for_each_fun(Fun const& f)
+        explicit segmented_for_each_fun(Fun& f)
           : fun(f)
         {}
 
-        Fun const& fun;
+        Fun& fun;
 
         template <typename Sequence, typename State, typename Context>
         struct apply
@@ -43,10 +48,14 @@ namespace boost { namespace fusion { namespace detail
     template <typename Sequence, typename F>
     BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
     inline void
-    for_each(Sequence& seq, F const& f, mpl::true_) // segmented implementation
+    for_each(Sequence& seq, F& f, mpl::true_) // segmented implementation
     {
         fusion::segmented_fold_until(seq, void_(), segmented_for_each_fun<F>(f));
     }
 }}}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #endif

include/boost/fusion/algorithm/iteration/for_each.hpp

@@ -1,6 +1,7 @@
 /*=============================================================================
     Copyright (c) 2001-2007 Joel de Guzman
     Copyright (c) 2007 Dan Marsden
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying 
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -13,7 +14,7 @@
 #include <boost/fusion/algorithm/iteration/detail/segmented_for_each.hpp>
 #include <boost/fusion/support/is_segmented.hpp>
 #include <boost/fusion/support/is_sequence.hpp>
-#include <boost/utility/enable_if.hpp>
+#include <boost/core/enable_if.hpp>
 
 namespace boost { namespace fusion
 {
@@ -28,24 +29,16 @@ namespace boost { namespace fusion
 
     template <typename Sequence, typename F>
     BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-    inline typename
-        enable_if<
-            traits::is_sequence<Sequence>
-          , void
-        >::type
-    for_each(Sequence& seq, F const& f)
+    inline typename enable_if<traits::is_sequence<Sequence> >::type
+    for_each(Sequence& seq, F f)
     {
         detail::for_each(seq, f, typename traits::is_segmented<Sequence>::type());
     }
 
     template <typename Sequence, typename F>
     BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-    inline typename
-        enable_if<
-            traits::is_sequence<Sequence>
-          , void
-        >::type
-    for_each(Sequence const& seq, F const& f)
+    inline typename enable_if<traits::is_sequence<Sequence> >::type
+    for_each(Sequence const& seq, F f)
     {
         detail::for_each(seq, f, typename traits::is_segmented<Sequence>::type());
     }

include/boost/fusion/algorithm/iteration/for_each_fwd.hpp

@@ -1,5 +1,6 @@
 /*=============================================================================
     Copyright (c) 2011 Eric Niebler
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying 
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -9,7 +10,7 @@
 
 #include <boost/fusion/support/config.hpp>
 #include <boost/fusion/support/is_sequence.hpp>
-#include <boost/utility/enable_if.hpp>
+#include <boost/core/enable_if.hpp>
 
 namespace boost { namespace fusion
 {
@@ -21,21 +22,13 @@ namespace boost { namespace fusion
 
     template <typename Sequence, typename F>
     BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-    inline typename
-        enable_if<
-            traits::is_sequence<Sequence>
-          , void
-        >::type
-    for_each(Sequence& seq, F const& f);
+    inline typename enable_if<traits::is_sequence<Sequence> >::type
+    for_each(Sequence& seq, F f);
 
     template <typename Sequence, typename F>
     BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-    inline typename
-        enable_if<
-            traits::is_sequence<Sequence>
-          , void
-        >::type
-    for_each(Sequence const& seq, F const& f);
+    inline typename enable_if<traits::is_sequence<Sequence> >::type
+    for_each(Sequence const& seq, F f);
 }}
 
 #endif

include/boost/fusion/algorithm/query/count.hpp

@@ -1,6 +1,6 @@
 /*=============================================================================
     Copyright (c) 2001-2011 Joel de Guzman
-    Copyright (c) 2007
+    Copyright (c) 2007 Dan Marsden
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying 
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)

include/boost/fusion/algorithm/query/detail/find_if.hpp

@@ -2,6 +2,7 @@
     Copyright (c) 2001-2011 Joel de Guzman
     Copyright (c) 2007 Dan Marsden
     Copyright (c) 2009 Christopher Schmidt
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying 
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -13,7 +14,6 @@
 #include <boost/mpl/apply.hpp>
 #include <boost/mpl/eval_if.hpp>
 #include <boost/mpl/identity.hpp>
-#include <boost/mpl/lambda.hpp>
 #include <boost/mpl/or.hpp>
 #include <boost/fusion/iterator/advance.hpp>
 #include <boost/fusion/iterator/distance.hpp>
@@ -22,10 +22,9 @@
 #include <boost/fusion/sequence/intrinsic/begin.hpp>
 #include <boost/fusion/sequence/intrinsic/end.hpp>
 #include <boost/fusion/support/category_of.hpp>
+#include <boost/core/enable_if.hpp>
 
-namespace boost { namespace fusion { 
-    struct random_access_traversal_tag;
-namespace detail
+namespace boost { namespace fusion { namespace detail
 {
     template <typename Iterator, typename Pred>
     struct apply_filter
@@ -178,8 +177,8 @@ namespace detail
             choose_find_if<
                 First
               , Last
-              , typename mpl::lambda<Pred>::type
-              , is_base_of<random_access_traversal_tag, typename traits::category_of<First>::type>::value
+              , Pred
+              , traits::is_random_access<First>::value
             >::type
         type;
 
@@ -208,31 +207,23 @@ namespace detail
             return recursive_call(iter, found());
         }
 
-        template <typename Iterator, typename Tag>
+        template <typename Iterator>
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-        static type
-        choose_call(Iterator const& iter, Tag)
+        static typename boost::disable_if<traits::is_random_access<Iterator>, type>::type
+        iter_call(Iterator const& iter)
         {
             return recursive_call(iter);
         }
 
         template <typename Iterator>
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-        static type
-        choose_call(Iterator const& iter, random_access_traversal_tag)
+        static typename boost::enable_if<traits::is_random_access<Iterator>, type>::type
+        iter_call(Iterator const& iter)
         {
             typedef typename result_of::distance<Iterator, type>::type N;
             return fusion::advance<N>(iter);
         }
 
-        template <typename Iterator>
-        BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-        static type
-        iter_call(Iterator const& iter)
-        {
-            return choose_call(iter, typename traits::category_of<Iterator>::type());
-        }
-
         template <typename Sequence>
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
         static type

include/boost/fusion/algorithm/transformation/pop_back.hpp

@@ -18,6 +18,11 @@
 #include <boost/mpl/int.hpp>
 #include <boost/mpl/if.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     template <typename Iterator_, bool IsLast>
@@ -168,5 +173,9 @@ namespace boost { namespace fusion
     }
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #endif
 

include/boost/fusion/algorithm/transformation/remove_if.hpp

@@ -1,7 +1,8 @@
 /*=============================================================================
     Copyright (c) 2001-2011 Joel de Guzman
+    Copyright (c) 2018 Kohei Takahashi
 
-    Distributed under the Boost Software License, Version 1.0. (See accompanying 
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
 ==============================================================================*/
 #if !defined(FUSION_REMOVE_IF_07162005_0818)
@@ -10,7 +11,6 @@
 #include <boost/fusion/support/config.hpp>
 #include <boost/fusion/view/filter_view/filter_view.hpp>
 #include <boost/mpl/not.hpp>
-#include <boost/type_traits/is_same.hpp>
 
 namespace boost { namespace fusion
 {

include/boost/fusion/container/deque/deque_iterator.hpp

@@ -20,6 +20,11 @@
 #include <boost/type_traits/add_const.hpp>
 #include <boost/type_traits/add_reference.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion {
 
     struct bidirectional_traversal_tag;
@@ -110,14 +115,14 @@ namespace boost { namespace fusion {
         {};
 
         Seq& seq_;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        deque_iterator& operator= (deque_iterator const&);
     };
 
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/container/list/cons_iterator.hpp

@@ -26,6 +26,10 @@ namespace boost { namespace fusion
     template <typename Cons>
     struct cons_iterator_identity;
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
     template <typename Cons = nil_>
     struct cons_iterator : iterator_base<cons_iterator<Cons> >
     {
@@ -41,11 +45,10 @@ namespace boost { namespace fusion
             : cons(in_cons) {}
 
         cons_type& cons;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        cons_iterator& operator= (cons_iterator const&);
     };
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
 
     struct nil_iterator : iterator_base<nil_iterator>
     {

include/boost/fusion/container/map/detail/value_at_key_impl.hpp

@@ -24,12 +24,10 @@ namespace boost { namespace fusion
         struct value_at_key_impl<map_tag>
         {
             template <typename Sequence, typename Key>
-            struct apply
-            {
-                typedef typename BOOST_FUSION_IDENTIFIED_TYPE((
+            struct apply : BOOST_FUSION_DECLTYPE_N3031((
                     boost::declval<Sequence>().get_val(mpl::identity<Key>())
-                )) type;
-            };
+                ))
+            {};
         };
     }
 }}

include/boost/fusion/container/map/map_fwd.hpp

@@ -36,8 +36,6 @@
 # include <boost/fusion/container/map/detail/cpp03/map_fwd.hpp>
 #else
 
-#include <boost/fusion/container/map/detail/map_impl.hpp>
-
 ///////////////////////////////////////////////////////////////////////////////
 // C++11 interface
 ///////////////////////////////////////////////////////////////////////////////

include/boost/fusion/container/map/map_iterator.hpp

@@ -17,6 +17,11 @@
 #include <boost/type_traits/is_const.hpp>
 #include <boost/type_traits/add_const.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct random_access_traversal_tag;
@@ -155,14 +160,13 @@ namespace boost { namespace fusion
         {};
 
         Seq& seq_;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        map_iterator& operator= (map_iterator const&);
     };
-
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/container/vector/detail/value_at_impl.hpp

@@ -47,12 +47,10 @@ namespace boost { namespace fusion
         struct value_at_impl<vector_tag>
         {
             template <typename Sequence, typename N>
-            struct apply
-            {
-                typedef typename BOOST_FUSION_IDENTIFIED_TYPE((
+            struct apply : BOOST_FUSION_DECLTYPE_N3031((
                     vector_detail::value_at_impl<N::value>(boost::declval<Sequence*>())
-                )) type;
-            };
+                ))
+            {};
         };
     }
 }}

include/boost/fusion/container/vector/vector.hpp

@@ -26,7 +26,6 @@
 #include <boost/fusion/support/is_sequence.hpp>
 #include <boost/fusion/support/detail/and.hpp>
 #include <boost/fusion/support/detail/index_sequence.hpp>
-#include <boost/fusion/support/detail/propagate_trivialness.hpp>
 #include <boost/fusion/container/vector/detail/at_impl.hpp>
 #include <boost/fusion/container/vector/detail/value_at_impl.hpp>
 #include <boost/fusion/container/vector/detail/begin_impl.hpp>
@@ -51,6 +50,8 @@ namespace boost { namespace fusion
 
     namespace vector_detail
     {
+        struct each_elem {};
+
         template <
             typename This, typename T, typename T_, std::size_t Size, bool IsSeq
         >
@@ -130,6 +131,32 @@ namespace boost { namespace fusion
                 : elem() // value-initialized explicitly
             {}
 
+            BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
+            store(store const& rhs)
+                : elem(rhs.elem)
+            {}
+
+            BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
+            store&
+            operator=(store const& rhs)
+            {
+                elem = rhs.elem;
+                return *this;
+            }
+
+            BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
+            store(store&& rhs)
+                : elem(static_cast<T&&>(rhs.elem))
+            {}
+
+            BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
+            store&
+            operator=(store&& rhs)
+            {
+                elem = static_cast<T&&>(rhs.elem);
+                return *this;
+            }
+
             template <
                 typename U
               , typename = typename boost::disable_if<
@@ -141,9 +168,15 @@ namespace boost { namespace fusion
                 : elem(std::forward<U>(rhs))
             {}
 
+            using elem_type = T;
             T elem;
         };
 
+        // placed outside of vector_data due to GCC < 6 bug
+        template <std::size_t J, typename U>
+        static inline BOOST_FUSION_GPU_ENABLED
+        store<J, U> store_at_impl(store<J, U>*);
+
         template <typename I, typename ...T>
         struct vector_data;
 
@@ -151,7 +184,6 @@ namespace boost { namespace fusion
         struct vector_data<detail::index_sequence<I...>, T...>
             : store<I, T>...
             , sequence_base<vector_data<detail::index_sequence<I...>, T...> >
-            , private detail::propagate_trivialness<T...>
         {
             typedef vector_tag                  fusion_tag;
             typedef fusion_sequence_tag         tag; // this gets picked up by MPL
@@ -172,14 +204,14 @@ namespace boost { namespace fusion
             >
             BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
             explicit
-            vector_data(Sequence&& rhs)
+            vector_data(each_elem, Sequence&& rhs)
                 : store<I, T>(forward_at_c<I>(std::forward<Sequence>(rhs)))...
             {}
 
             template <typename ...U>
             BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
             explicit
-            vector_data(U&&... var)
+            vector_data(each_elem, U&&... var)
                 : store<I, T>(std::forward<U>(var))...
             {}
 
@@ -188,49 +220,31 @@ namespace boost { namespace fusion
             void
             assign_sequence(Sequence&& seq)
             {
-                assign(std::forward<Sequence>(seq), detail::index_sequence<I...>());
+#ifndef BOOST_NO_CXX17_FOLD_EXPRESSIONS
+                (void(store<I, T>::elem = vector_detail::forward_at_c<I>(static_cast<Sequence&&>(seq))), ...);
+#else
+                int nofold[] = { (void(store<I, T>::elem = vector_detail::forward_at_c<I>(static_cast<Sequence&&>(seq))), 0)..., 0 };
+                (void)nofold;
+#endif
             }
 
-            template <typename Sequence>
-            BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-            void
-            assign(Sequence&&, detail::index_sequence<>) {}
-
-            template <typename Sequence, std::size_t N, std::size_t ...M>
-            BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-            void
-            assign(Sequence&& seq, detail::index_sequence<N, M...>)
-            {
-                at_impl(mpl::int_<N>()) = vector_detail::forward_at_c<N>(seq);
-                assign(std::forward<Sequence>(seq), detail::index_sequence<M...>());
-            }
-
-            template <std::size_t N, typename U>
-            static BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-            U& at_detail(store<N, U>* this_)
-            {
-                return this_->elem;
-            }
-
-            template <std::size_t N, typename U>
-            static BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-            U const& at_detail(store<N, U> const* this_)
-            {
-                return this_->elem;
-            }
+        private:
+            template <std::size_t J>
+            using store_at = decltype(store_at_impl<J>(static_cast<vector_data*>(nullptr)));
 
+        public:
             template <typename J>
             BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-            auto at_impl(J) -> decltype(at_detail<J::value>(&std::declval<vector_data&>()))
+            typename store_at<J::value>::elem_type& at_impl(J)
             {
-                return at_detail<J::value>(this);
+                return store_at<J::value>::elem;
             }
 
             template <typename J>
             BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-            auto at_impl(J) const -> decltype(at_detail<J::value>(&std::declval<vector_data const&>()))
+            typename store_at<J::value>::elem_type const& at_impl(J) const
             {
-                return at_detail<J::value>(this);
+                return store_at<J::value>::elem;
             }
         };
     } // namespace boost::fusion::vector_detail
@@ -264,7 +278,7 @@ namespace boost { namespace fusion
         //      In the (near) future release, should be fixed.
         /* BOOST_CONSTEXPR */ BOOST_FUSION_GPU_ENABLED
         explicit vector(U&&... u)
-            : base(std::forward<U>(u)...)
+            : base(vector_detail::each_elem(), std::forward<U>(u)...)
         {}
 
         template <
@@ -277,7 +291,7 @@ namespace boost { namespace fusion
         >
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
         vector(Sequence&& seq)
-            : base(std::forward<Sequence>(seq))
+            : base(vector_detail::each_elem(), std::forward<Sequence>(seq))
         {}
 
         template <typename Sequence>

include/boost/fusion/container/vector/vector_iterator.hpp

@@ -19,6 +19,11 @@
 #include <boost/type_traits/add_const.hpp>
 #include <boost/mpl/int.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct vector_iterator_tag;
@@ -42,13 +47,13 @@ namespace boost { namespace fusion
             : vec(in_vec) {}
 
         Vector& vec;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        vector_iterator& operator= (vector_iterator const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/functional/invocation/detail/that_ptr.hpp

@@ -60,7 +60,7 @@ namespace boost { namespace fusion { namespace detail
 
     template <typename PtrOrSmartPtr> struct non_const_pointee;
 
-#if defined(BOOST_MSVC) || (defined(__BORLANDC__) && !defined(BOOST_DISABLE_WIN32))
+#if defined(BOOST_MSVC) || (defined(BOOST_BORLANDC) && !defined(BOOST_DISABLE_WIN32))
 #   define BOOST_FUSION_TRAIT_DECL __cdecl
 #else
 #   define BOOST_FUSION_TRAIT_DECL /**/

include/boost/fusion/include/adapt_assoc_adt.hpp

@@ -6,7 +6,7 @@
 ==============================================================================*/
 
 #ifndef BOOST_FUSION_INCLUDE_ADAPT_ASSOC_ADT_HPP
-#define BOOST_FUSION_INCLUDE_ADAPT_ASSOC_ADR_HPP
+#define BOOST_FUSION_INCLUDE_ADAPT_ASSOC_ADT_HPP
 
 #include <boost/fusion/support/config.hpp>
 #include <boost/fusion/adapted/adt/adapt_assoc_adt.hpp>

include/boost/fusion/include/identity_view.hpp

@@ -0,0 +1,12 @@
+/*=============================================================================
+    Copyright (c) 2022 Denis Mikhailov
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+#if !defined(FUSION_INCLUDE_IDENTITY_VIEW)
+#define FUSION_INCLUDE_IDENTITY_VIEW
+
+#include <boost/fusion/support/config.hpp>
+#include <boost/fusion/view/identity_view.hpp>
+
+#endif

include/boost/fusion/iterator/detail/segment_sequence.hpp

@@ -13,6 +13,11 @@
 #include <boost/fusion/support/tag_of.hpp>
 #include <boost/fusion/sequence/intrinsic_fwd.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion { namespace detail
 {
     struct segment_sequence_tag {};
@@ -36,6 +41,10 @@ namespace boost { namespace fusion { namespace detail
     };
 }
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 namespace extension
 {
     template<typename Tag>

include/boost/fusion/iterator/iterator_adapter.hpp

@@ -19,6 +19,11 @@
 #include <boost/fusion/iterator/value_of.hpp>
 #include <boost/type_traits/remove_const.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     template <typename Derived_, typename Iterator_,
@@ -135,6 +140,10 @@ namespace boost { namespace fusion
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/sequence/comparison/enable_comparison.hpp

@@ -20,13 +20,13 @@ namespace boost { namespace fusion { namespace traits
 {
     template <typename Seq1, typename Seq2, typename Enable = void>
     struct enable_equality
-        : mpl::or_<traits::is_sequence<Seq1>, traits::is_sequence<Seq2> >
+        : mpl::and_<traits::is_sequence<Seq1>, traits::is_sequence<Seq2> >
     {};
 
     template <typename Seq1, typename Seq2, typename Enable = void>
     struct enable_comparison
         : mpl::and_<
-            mpl::or_<traits::is_sequence<Seq1>, traits::is_sequence<Seq2> >
+            traits::is_sequence<Seq1>, traits::is_sequence<Seq2>
           , mpl::equal_to<result_of::size<Seq1>, result_of::size<Seq2> >
         >
     {};

include/boost/fusion/sequence/intrinsic/at.hpp

@@ -118,7 +118,7 @@ namespace boost { namespace fusion
         >::type
     at_c(Sequence& seq)
     {
-        return fusion::at<mpl::int_<N> >(seq);
+        return result_of::at_c<Sequence, N>::call(seq);
     }
 
     template <int N, typename Sequence>
@@ -126,7 +126,7 @@ namespace boost { namespace fusion
     inline typename result_of::at_c<Sequence const, N>::type
     at_c(Sequence const& seq)
     {
-        return fusion::at<mpl::int_<N> >(seq);
+        return result_of::at_c<Sequence const, N>::call(seq);
     }
 }}
 

include/boost/fusion/sequence/io/detail/in.hpp

@@ -10,7 +10,6 @@
 #define FUSION_IN_05052005_0121
 
 #include <boost/fusion/support/config.hpp>
-#include <istream>
 #include <boost/fusion/sequence/io/detail/manip.hpp>
 
 #include <boost/mpl/bool.hpp>

include/boost/fusion/sequence/io/detail/manip.hpp

@@ -36,10 +36,10 @@ namespace boost { namespace fusion
     namespace detail
     {
         template <typename Tag>
-        int get_xalloc_index(Tag* = 0)
+        int get_xalloc_index(int xalloc())
         {
             // each Tag will have a unique index
-            static int index = std::ios::xalloc();
+            static int const index = xalloc();
             return index;
         }
 
@@ -66,15 +66,19 @@ namespace boost { namespace fusion
             {
                 static arena ar; // our arena
                 ar.data.push_back(new T(data));
-                stream.pword(get_xalloc_index<Tag>()) = ar.data.back();
+                stream.pword(get_xalloc_index<Tag>(stream.xalloc)) = ar.data.back();
             }
 
             static T const* get(Stream& stream)
             {
-                return (T const*)stream.pword(get_xalloc_index<Tag>());
+                return (T const*)stream.pword(get_xalloc_index<Tag>(stream.xalloc));
             }
         };
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
         template <typename Tag, typename Stream>
         class string_ios_manip
         {
@@ -110,7 +114,6 @@ namespace boost { namespace fusion
             {
                 // read a delimiter
                 string_type const* p = stream_data_t::get(stream);
-                std::ws(stream);
 
                 if (p)
                 {
@@ -137,17 +140,16 @@ namespace boost { namespace fusion
                     if (stream.get() != c)
                     {
                         stream.unget();
-                        stream.setstate(std::ios::failbit);
+                        stream.setstate(Stream::failbit);
                     }
                 }
             }
 
             Stream& stream;
-
-        private:
-            // silence MSVC warning C4512: assignment operator could not be generated
-            string_ios_manip& operator= (string_ios_manip const&);
         };
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
 
     } // detail
 

include/boost/fusion/sequence/io/detail/out.hpp

@@ -10,7 +10,6 @@
 #define FUSION_OUT_05052005_0121
 
 #include <boost/fusion/support/config.hpp>
-#include <ostream>
 #include <boost/fusion/sequence/io/detail/manip.hpp>
 
 #include <boost/mpl/bool.hpp>

include/boost/fusion/sequence/io/in.hpp

@@ -10,9 +10,9 @@
 #define BOOST_IN_05042005_0120
 
 #include <boost/fusion/support/config.hpp>
-#include <istream>
 #include <boost/fusion/sequence/io/detail/in.hpp>
 #include <boost/fusion/support/is_sequence.hpp>
+#include <iosfwd>
 
 namespace boost { namespace fusion
 {

include/boost/fusion/sequence/io/out.hpp

@@ -10,11 +10,11 @@
 #define BOOST_OUT_05042005_0120
 
 #include <boost/fusion/support/config.hpp>
-#include <ostream>
 #include <boost/fusion/sequence/io/detail/out.hpp>
 #include <boost/fusion/support/is_sequence.hpp>
 #include <boost/utility/enable_if.hpp>
 #include <boost/mpl/or.hpp>
+#include <iosfwd>
 
 namespace boost { namespace fusion
 {

include/boost/fusion/support/config.hpp

@@ -97,15 +97,26 @@ namespace std
 #endif
 
 
-// Workaround for compiler which doesn't compile decltype(expr)::type.
-// It expects decltype(expr) deduced as mpl::identity<T>.
-#if BOOST_WORKAROUND(BOOST_MSVC, BOOST_TESTED_AT(1913)) || BOOST_WORKAROUND(BOOST_GCC, < 40700)
+// Workaround for compilers not implementing N3031 (DR743 and DR950).
+#if BOOST_WORKAROUND(BOOST_MSVC, BOOST_TESTED_AT(1913)) || \
+    BOOST_WORKAROUND(BOOST_GCC, < 40700) || \
+    defined(BOOST_CLANG) && (__clang_major__ == 3 && __clang_minor__ == 0)
+# if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
+namespace boost { namespace fusion { namespace detail
+{
+    template <typename T>
+    using type_alias_t = T;
+}}}
+#   define BOOST_FUSION_DECLTYPE_N3031(parenthesized_expr) \
+        boost::fusion::detail::type_alias_t<decltype parenthesized_expr>
+# else
 #   include <boost/mpl/identity.hpp>
-#   define BOOST_FUSION_IDENTIFIED_TYPE(parenthesized_expr) \
-        boost::mpl::identity<decltype parenthesized_expr>::type::type
+#   define BOOST_FUSION_DECLTYPE_N3031(parenthesized_expr) \
+        boost::mpl::identity<decltype parenthesized_expr>::type
+# endif
 #else
-#   define BOOST_FUSION_IDENTIFIED_TYPE(parenthesized_expr) \
-        decltype parenthesized_expr ::type
+#   define BOOST_FUSION_DECLTYPE_N3031(parenthesized_expr) \
+        decltype parenthesized_expr
 #endif
 
 
@@ -116,11 +127,14 @@ namespace std
 #   define BOOST_FUSION_NOEXCEPT_ON_DEFAULTED BOOST_NOEXCEPT
 #endif
 
-
-#ifdef __has_extension
-#   define BOOST_FUSION_HAS_EXTENSION __has_extension
+#ifdef _MSC_VER
+#   define BOOST_FUSION_PUSH_WARNINGS __pragma(warning(push))
+#   define BOOST_FUSION_POP_WARNINGS  __pragma(warning(pop))
+#   define BOOST_FUSION_DISABLE_MSVC_WARNING(num) __pragma(warning(disable : num))
 #else
-#   define BOOST_FUSION_HAS_EXTENSION(_) 0
+#   define BOOST_FUSION_PUSH_WARNINGS
+#   define BOOST_FUSION_POP_WARNINGS
+#   define BOOST_FUSION_DISABLE_MSVC_WARNING(num)
 #endif
 
 #endif

include/boost/fusion/support/deduce.hpp

@@ -10,7 +10,7 @@
 #define BOOST_FUSION_SUPPORT_DEDUCE_HPP_INCLUDED
 
 #include <boost/fusion/support/config.hpp>
-#include <boost/ref.hpp>
+#include <boost/core/ref.hpp>
 
 #ifndef BOOST_NO_CXX11_HDR_FUNCTIONAL
 #include <functional>

include/boost/fusion/support/detail/as_fusion_element.hpp

@@ -9,7 +9,7 @@
 #define FUSION_AS_FUSION_ELEMENT_05052005_0338
 
 #include <boost/fusion/support/config.hpp>
-#include <boost/ref.hpp>
+#include <boost/core/ref.hpp>
 
 #ifndef BOOST_NO_CXX11_HDR_FUNCTIONAL
 #include <functional>

include/boost/fusion/support/detail/is_same_size.hpp

@@ -9,20 +9,19 @@
 
 #include <boost/fusion/support/is_sequence.hpp>
 #include <boost/fusion/sequence/intrinsic/size.hpp>
-#include <boost/core/enable_if.hpp>
 #include <boost/mpl/bool.hpp>
-#include <boost/mpl/equal_to.hpp>
 
 namespace boost { namespace fusion { namespace detail
 {
-    template <typename Sequence1, typename Sequence2, typename = void, typename = void>
+    template <typename Sequence1, typename Sequence2, bool
+            = traits::is_sequence<Sequence1>::value &&
+              traits::is_sequence<Sequence2>::value>
     struct is_same_size : mpl::false_ {};
 
     template <typename Sequence1, typename Sequence2>
-    struct is_same_size<Sequence1, Sequence2,
-                        typename enable_if<traits::is_sequence<Sequence1> >::type,
-                        typename enable_if<traits::is_sequence<Sequence2> >::type>
-        : mpl::equal_to<result_of::size<Sequence1>, result_of::size<Sequence2> >
+    struct is_same_size<Sequence1, Sequence2, true>
+        : mpl::bool_<result_of::size<Sequence1>::value == 
+                     result_of::size<Sequence2>::value>
     {};
 }}}
 

include/boost/fusion/support/detail/is_trivially_copyable.hpp

@@ -1,113 +0,0 @@
-/*=============================================================================
-    Copyright (c) 2018 Kohei Takahashi
-
-    Distributed under the Boost Software License, Version 1.0. (See accompanying
-    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
-==============================================================================*/
-#ifndef BOOST_FUSION_SUPPORT_DETAIL_IS_TRIVIALLY_COPYABLE
-#define BOOST_FUSION_SUPPORT_DETAIL_IS_TRIVIALLY_COPYABLE
-
-#include <boost/fusion/support/config.hpp>
-
-#if BOOST_WORKAROUND(BOOST_GCC, BOOST_TESTED_AT(90000))
-    // GCC treats volatile qualified scalar type as non trivially copyable,
-    // so to be fail safe, we also treat it as non trivially copyable type.
-    // http://wg21.link/cwg2094
-    // https://gcc.gnu.org/PR85679
-    //
-    // Some version of clang also tweats volatile qualified scalar type as
-    // non trivially copyable type, but all of known the versions what
-    // behaves as CWG 496 but not CWG 2094 implement builtin.
-    // So we don't have to emulate CWG 496 on clang.
-#   define BOOST_FUSION_DETAIL_VOLATILE_SCALAR_IS_NON_TRIVIALLY_COPYABLE
-#endif
-
-#if BOOST_FUSION_HAS_EXTENSION(is_trivially_copyable) || \
-    (50000 <= BOOST_GCC) || (1700 <= BOOST_MSVC)
-#   define BOOST_FUSION_IS_TRIVIALLY_COPYABLE __is_trivially_copyable
-#endif
-
-#if defined(BOOST_FUSION_IS_TRIVIALLY_COPYABLE)
-#   define BOOST_FUSION_DETAIL_IS_TRIVIALLY_COPYABLE_CONFORMING 2
-#   include <boost/mpl/bool.hpp>
-#elif !defined(BOOST_NO_CXX11_HDR_TYPE_TRAITS)
-#   define BOOST_FUSION_DETAIL_IS_TRIVIALLY_COPYABLE_CONFORMING 2
-#   include <type_traits>
-#else
-#   include <boost/config/workaround.hpp>
-#   include <boost/mpl/bool.hpp>
-#   include <boost/mpl/if.hpp>
-#   include <boost/type_traits/remove_cv.hpp>
-#   include <boost/type_traits/remove_all_extents.hpp>
-#   include <boost/type_traits/is_scalar.hpp>
-#   include <boost/type_traits/is_class.hpp>
-#   include <boost/type_traits/is_union.hpp>
-#   include <boost/type_traits/is_constructible.hpp>
-#   include <boost/type_traits/is_assignable.hpp>
-#   include <boost/type_traits/is_copy_constructible.hpp>
-#   include <boost/type_traits/is_copy_assignable.hpp>
-#   include <boost/type_traits/has_trivial_assign.hpp>
-#   include <boost/type_traits/has_trivial_copy.hpp>
-#   include <boost/type_traits/has_trivial_destructor.hpp>
-#   include <boost/type_traits/has_trivial_move_assign.hpp>
-#   include <boost/type_traits/has_trivial_move_constructor.hpp>
-#ifdef BOOST_FUSION_DETAIL_VOLATILE_SCALAR_IS_NON_TRIVIALLY_COPYABLE
-#   include <boost/mpl/not.hpp>
-#   include <boost/type_traits/is_volatile.hpp>
-#endif
-#endif // <type_traits>
-
-namespace boost { namespace fusion { namespace detail
-{
-
-#ifndef BOOST_FUSION_DETAIL_IS_TRIVIALLY_COPYABLE_CONFORMING
-#if defined(BOOST_SFINAE_EXPR) && !defined(BOOST_NO_CXX11_DECLTYPE) && \
-    defined(BOOST_IS_UNION) && defined(BOOST_TT_HAS_CONFORMING_IS_CLASS_IMPLEMENTATION) && \
-    defined(BOOST_HAS_TRIVIAL_ASSIGN) && defined(BOOST_HAS_TRIVIAL_COPY) && \
-    defined(BOOST_HAS_TRIVIAL_MOVE_ASSIGN) && defined(BOOST_HAS_TRIVIAL_MOVE_CONSTRUCTOR) && \
-    defined(BOOST_HAS_TRIVIAL_DESTRUCTOR) && defined(BOOST_TT_IS_CONSTRUCTIBLE_CONFORMING)
-#   define BOOST_FUSION_DETAIL_IS_TRIVIALLY_COPYABLE_CONFORMING 1
-#endif
-
-template <typename T>
-struct is_trivially_copyable_class
-  : mpl::bool_<
-        (has_trivial_copy<T>::value   || !is_copy_constructible<T>::value) &&
-        (has_trivial_assign<T>::value || !is_copy_assignable<T>::value) &&
-        (has_trivial_move_constructor<T>::value || !is_constructible<T, T>::value) &&
-        (has_trivial_move_assign<T>::value      || !is_assignable<T, T>::value) &&
-        (is_copy_constructible<T>::value || is_copy_assignable<T>::value ||
-         is_constructible<T, T>::value   || is_assignable<T, T>::value) &&
-        has_trivial_destructor<T>::value
-    > { };
-
-template <typename T>
-struct is_trivially_copyable_impl
-  : mpl::if_c<is_scalar<T>::value
-#ifdef BOOST_FUSION_DETAIL_VOLATILE_SCALAR_IS_NON_TRIVIALLY_COPYABLE
-    , mpl::not_<is_volatile<T> >
-#else
-    , mpl::true_
-#endif
-    , typename mpl::if_c<is_class<T>::value || is_union<T>::value
-      , is_trivially_copyable_class<typename remove_cv<T>::type>
-      , mpl::false_
-      >::type
-    >::type { };
-#endif // <type_traits>
-
-template <typename T>
-struct is_trivially_copyable
-#if defined(BOOST_FUSION_IS_TRIVIALLY_COPYABLE)
-  : mpl::bool_<BOOST_FUSION_IS_TRIVIALLY_COPYABLE(T)>
-#elif !defined(BOOST_NO_CXX11_HDR_TYPE_TRAITS)
-  : std::is_trivially_copyable<T>
-#else
-  : is_trivially_copyable_impl<typename remove_all_extents<T>::type>
-#endif // <type_traits>
-{ };
-
-}}} // namespace boost::fusion::detail
-
-#endif
-

include/boost/fusion/support/detail/propagate_trivialness.hpp

@@ -1,40 +0,0 @@
-/*=============================================================================
-    Copyright (c) 2018 Kohei Takahashi
-
-    Distributed under the Boost Software License, Version 1.0. (See accompanying
-    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
-==============================================================================*/
-#ifndef BOOST_FUSION_SUPPORT_DETAIL_PROPAGATE_TRIVIALNESS
-#define BOOST_FUSION_SUPPORT_DETAIL_PROPAGATE_TRIVIALNESS
-
-#include <boost/fusion/support/config.hpp>
-#include <boost/fusion/support/detail/and.hpp>
-#include <boost/fusion/support/detail/is_trivially_copyable.hpp>
-#include <boost/mpl/if.hpp>
-
-namespace boost { namespace fusion { namespace detail
-{
-
-struct trivial_base { };
-
-struct non_trivial_base
-{
-    BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-    BOOST_DEFAULTED_FUNCTION(non_trivial_base(), {})
-
-    BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-    non_trivial_base(non_trivial_base const&) BOOST_NOEXCEPT { }
-};
-
-template <typename... T>
-struct propagate_trivialness
-  : mpl::if_c<and_<is_trivially_copyable<T>...>::value
-      , trivial_base
-      , non_trivial_base
-    >::type
-{ };
-
-}}} // namespace boost::fusion::detail
-
-#endif
-

include/boost/fusion/support/is_view.hpp

@@ -14,6 +14,7 @@
 namespace boost { namespace fusion
 {
     // Special tags:
+    struct non_fusion_tag;
     struct sequence_facade_tag;
     struct boost_tuple_tag; // boost::tuples::tuple tag
     struct boost_array_tag; // boost::array tag
@@ -32,6 +33,13 @@ namespace boost { namespace fusion
             };
         };
 
+        template <>
+        struct is_view_impl<non_fusion_tag>
+        {
+            template <typename T>
+            struct apply : mpl::false_ {};
+        };
+
         template <>
         struct is_view_impl<sequence_facade_tag>
         {

include/boost/fusion/support/pair.hpp

@@ -120,6 +120,17 @@ namespace boost { namespace fusion
         return pair<First, typename detail::as_fusion_element<Second>::type>(val);
     }
 
+#if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
+    template <typename First, typename Second>
+    BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
+    inline typename result_of::make_pair<First,Second>::type
+    make_pair(Second&& val)
+    {
+        return pair<First, typename detail::as_fusion_element<Second>::type>(
+            BOOST_FUSION_FWD_ELEM(Second, val));
+    }
+#endif
+
     template <typename First, typename Second>
     inline std::ostream&
     operator<<(std::ostream& os, pair<First, Second> const& p)

include/boost/fusion/support/tag_of.hpp

@@ -48,11 +48,17 @@ namespace boost { namespace fusion
     {
         BOOST_MPL_HAS_XXX_TRAIT_DEF(fusion_tag)
 
+        template<typename Sequence, typename Active=void>
+        struct tag_of_fallback
+        {
+            typedef non_fusion_tag type;
+        };
+
         template <typename Sequence, typename Active>
         struct tag_of_impl
           : mpl::if_<fusion::detail::is_mpl_sequence<Sequence>,
               mpl::identity<mpl_sequence_tag>,
-              mpl::identity<non_fusion_tag> >::type
+              mpl::identity<typename tag_of_fallback<Sequence>::type> >::type
         {};
 
         template <typename Sequence>

include/boost/fusion/support/unused.hpp

@@ -28,24 +28,11 @@ namespace boost { namespace fusion
         {
         })
 
-        BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
-        BOOST_DEFAULTED_FUNCTION(
-        unused_type(unused_type const&) BOOST_FUSION_NOEXCEPT_ON_DEFAULTED,
-        {
-        })
-
         template <typename T>
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
         unused_type(T const&) BOOST_NOEXCEPT
         {
         }
-
-        BOOST_FUSION_CONSTEXPR_THIS BOOST_FUSION_GPU_ENABLED
-        unused_type const&
-        operator=(unused_type const&) const BOOST_NOEXCEPT
-        {
-            return *this;
-        }
     };
 
     BOOST_CONSTEXPR_OR_CONST unused_type unused = unused_type();

include/boost/fusion/tuple/tuple.hpp

@@ -56,7 +56,7 @@ namespace boost { namespace fusion
         >
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
         tuple(tuple<U...> const& other)
-            : base(other) {}
+            : base(vector_detail::each_elem(), other) {}
 
         template <
             typename ...U
@@ -66,7 +66,7 @@ namespace boost { namespace fusion
         >
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
         tuple(tuple<U...>&& other)
-            : base(std::move(other)) {}
+            : base(vector_detail::each_elem(), std::move(other)) {}
 
         template <
             typename ...U
@@ -78,17 +78,17 @@ namespace boost { namespace fusion
         /*BOOST_CONSTEXPR*/ BOOST_FUSION_GPU_ENABLED
         explicit
         tuple(U&&... args)
-            : base(std::forward<U>(args)...) {}
+            : base(vector_detail::each_elem(), std::forward<U>(args)...) {}
 
         template<typename U1, typename U2>
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
         tuple(std::pair<U1, U2> const& other)
-            : base(other.first, other.second) {}
+            : base(vector_detail::each_elem(), other.first, other.second) {}
 
         template<typename U1, typename U2>
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
         tuple(std::pair<U1, U2>&& other)
-            : base(std::move(other.first), std::move(other.second)) {}
+            : base(vector_detail::each_elem(), std::move(other.first), std::move(other.second)) {}
 
         template<typename U>
         BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED

include/boost/fusion/view.hpp

@@ -17,5 +17,6 @@
 #include <boost/fusion/view/transform_view.hpp>
 #include <boost/fusion/view/zip_view.hpp>
 #include <boost/fusion/view/flatten_view.hpp>
+#include <boost/fusion/view/identity_view.hpp>
 
 #endif

include/boost/fusion/view/filter_view/detail/next_impl.hpp

@@ -1,5 +1,6 @@
 /*=============================================================================
     Copyright (c) 2001-2011 Joel de Guzman
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying 
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -8,14 +9,10 @@
 #define FUSION_NEXT_IMPL_06052005_0900
 
 #include <boost/fusion/support/config.hpp>
-#include <boost/fusion/algorithm/query/detail/find_if.hpp>
-#include <boost/fusion/iterator/value_of.hpp>
+#include <boost/fusion/iterator/next.hpp>
+#include <boost/fusion/iterator/equal_to.hpp>
 #include <boost/mpl/eval_if.hpp>
 #include <boost/mpl/identity.hpp>
-#include <boost/mpl/lambda.hpp>
-#include <boost/mpl/quote.hpp>
-#include <boost/mpl/bind.hpp>
-#include <boost/mpl/placeholders.hpp>
 
 namespace boost { namespace fusion
 {
@@ -48,26 +45,13 @@ namespace boost { namespace fusion
                     >::type
                 next_type;
 
-                typedef typename
-                    detail::static_find_if<
-                        next_type
-                      , last_type
-                      , mpl::bind1<
-                            typename mpl::lambda<pred_type>::type
-                          , mpl::bind1<mpl::quote1<result_of::value_of>,mpl::_1>
-                        >
-                    >
-                filter;
-
-                typedef filter_iterator<
-                    category, typename filter::type, last_type, pred_type>
-                type;
+                typedef filter_iterator<category, next_type, last_type, pred_type> type;
 
                 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
                 static type
                 call(Iterator const& i)
                 {
-                    return type(filter::iter_call(i.first));
+                    return type(fusion::next(i.first));
                 }
             };
         };

include/boost/fusion/view/filter_view/filter_view.hpp

@@ -22,6 +22,11 @@
 #include <boost/mpl/inherit.hpp>
 #include <boost/mpl/identity.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct filter_view_tag;
@@ -56,13 +61,13 @@ namespace boost { namespace fusion
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
         last_type last() const { return fusion::end(seq); }
         typename mpl::if_<traits::is_view<Sequence>, Sequence, Sequence&>::type seq;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        filter_view& operator= (filter_view const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #endif
 
 

include/boost/fusion/view/filter_view/filter_view_iterator.hpp

@@ -1,5 +1,6 @@
 /*=============================================================================
     Copyright (c) 2001-2011 Joel de Guzman
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -9,7 +10,6 @@
 
 #include <boost/fusion/support/config.hpp>
 #include <boost/fusion/iterator/mpl/convert_iterator.hpp>
-#include <boost/fusion/adapted/mpl/mpl_iterator.hpp>
 #include <boost/fusion/iterator/value_of.hpp>
 #include <boost/fusion/support/iterator_base.hpp>
 #include <boost/fusion/algorithm/query/detail/find_if.hpp>
@@ -26,6 +26,11 @@
 #include <boost/fusion/view/filter_view/detail/value_of_data_impl.hpp>
 #include <boost/fusion/view/filter_view/detail/key_of_impl.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct filter_view_iterator_tag;
@@ -60,13 +65,13 @@ namespace boost { namespace fusion
             : first(filter::iter_call(first_converter::call(in_first))) {}
 
         first_type first;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        filter_iterator& operator= (filter_iterator const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/view/flatten_view/flatten_view.hpp

@@ -19,6 +19,10 @@
 #include <boost/fusion/sequence/intrinsic/end.hpp>
 #include <boost/fusion/view/flatten_view/flatten_view_iterator.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
 
 namespace boost { namespace fusion
 {
@@ -52,6 +56,10 @@ namespace boost { namespace fusion
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 namespace boost { namespace fusion { namespace extension
 {
     template<>

include/boost/fusion/view/flatten_view/flatten_view_iterator.hpp

@@ -19,6 +19,10 @@
 #include <boost/fusion/iterator/deref.hpp>
 #include <boost/fusion/iterator/value_of.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
 
 namespace boost { namespace fusion
 {
@@ -46,6 +50,10 @@ namespace boost { namespace fusion
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 namespace boost { namespace fusion { namespace detail
 {
     template<class Iterator, class = void>

include/boost/fusion/view/identity_view.hpp

@@ -0,0 +1,14 @@
+/*=============================================================================
+    Copyright (c) 2022 Denis Mikhailov
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+
+#if !defined(BOOST_FUSION_SEQUENCE_IDENTITY_VIEW_HPP_INCLUDED)
+#define BOOST_FUSION_SEQUENCE_IDENTITY_VIEW_HPP_INCLUDED
+
+#include <boost/fusion/support/config.hpp>
+#include <boost/fusion/view/identity_view/identity_view.hpp>
+
+
+#endif

include/boost/fusion/view/identity_view/identity_view.hpp

@@ -0,0 +1,50 @@
+/*=============================================================================
+    Copyright (c) 2022 Denis Mikhailov
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+
+#if !defined(BOOST_FUSION_IDENTITY_VIEW_HPP_INCLUDED)
+#define BOOST_FUSION_IDENTITY_VIEW_HPP_INCLUDED
+
+#include <boost/fusion/support/config.hpp>
+#include <boost/fusion/view/transform_view.hpp>
+#include <boost/functional/identity.hpp>
+#include <boost/utility/result_of.hpp>
+
+namespace boost { namespace fusion {
+    namespace detail {
+        struct identity : boost::identity
+        {
+        };
+    }
+}}
+
+namespace boost {
+    template<typename T>
+    struct result_of<fusion::detail::identity(T)>
+    {
+        typedef T type;
+    };
+}
+
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+namespace boost { namespace fusion {
+    template<typename Sequence> struct identity_view 
+        : transform_view<Sequence, detail::identity>
+    {
+        typedef transform_view<Sequence, detail::identity> base_type;
+
+        BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
+        identity_view(Sequence& in_seq)
+            : base_type(in_seq, detail::identity()) {}
+    };
+}}
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
+#endif 

include/boost/fusion/view/joint_view/joint_view.hpp

@@ -25,6 +25,11 @@
 #include <boost/mpl/inherit.hpp>
 #include <boost/mpl/identity.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct joint_view_tag;
@@ -70,14 +75,15 @@ namespace boost { namespace fusion
         concat_last_type concat_last() const { return fusion::end(seq2); }
 
     private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        joint_view& operator= (joint_view const&);
-
         typename mpl::if_<traits::is_view<Sequence1>, Sequence1, Sequence1&>::type seq1;
         typename mpl::if_<traits::is_view<Sequence2>, Sequence2, Sequence2&>::type seq2;
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #endif
 
 

include/boost/fusion/view/joint_view/joint_view_iterator.hpp

@@ -20,6 +20,11 @@
 #include <boost/fusion/view/joint_view/detail/key_of_impl.hpp>
 #include <boost/static_assert.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct joint_view_iterator_tag;
@@ -49,13 +54,13 @@ namespace boost { namespace fusion
 
         first_type first;
         concat_type concat;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        joint_view_iterator& operator= (joint_view_iterator const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/view/nview/nview_iterator.hpp

@@ -26,6 +26,11 @@
 #include <boost/fusion/view/nview/detail/distance_impl.hpp>
 #include <boost/fusion/view/nview/detail/equal_to_impl.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct nview_iterator_tag;
@@ -46,14 +51,14 @@ namespace boost { namespace fusion
           : seq(in_seq) {}
 
         Sequence& seq;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        nview_iterator& operator= (nview_iterator const&);
     };
 
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/view/repetitive_view/repetitive_view.hpp

@@ -18,6 +18,10 @@
 #include <boost/fusion/view/repetitive_view/detail/begin_impl.hpp>
 #include <boost/fusion/view/repetitive_view/detail/end_impl.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
 
 namespace boost { namespace fusion
 {
@@ -43,12 +47,12 @@ namespace boost { namespace fusion
             : seq(in_seq) {}
 
         stored_seq_type seq;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        repetitive_view& operator= (repetitive_view const&);
     };
 
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #endif

include/boost/fusion/view/repetitive_view/repetitive_view_iterator.hpp

@@ -19,6 +19,11 @@
 #include <boost/fusion/view/repetitive_view/detail/next_impl.hpp>
 #include <boost/fusion/view/repetitive_view/detail/value_of_impl.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct repetitive_view_iterator_tag;
@@ -46,13 +51,13 @@ namespace boost { namespace fusion
 
         Sequence& seq;
         pos_type pos;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        repetitive_view_iterator& operator= (repetitive_view_iterator const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/view/reverse_view/detail/deref_data_impl.hpp

@@ -1,5 +1,6 @@
 /*=============================================================================
     Copyright (c) 2009 Christopher Schmidt
+    Copyright (c) 2021-2022 Denis Mikhailov
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -10,6 +11,7 @@
 
 #include <boost/fusion/support/config.hpp>
 #include <boost/fusion/iterator/deref_data.hpp>
+#include <boost/fusion/iterator/prior.hpp>
 
 namespace boost { namespace fusion { namespace extension
 {
@@ -23,14 +25,18 @@ namespace boost { namespace fusion { namespace extension
         struct apply
         {
             typedef typename
-                result_of::deref_data<typename It::first_type>::type
+                result_of::deref_data<
+                    typename result_of::prior<
+                        typename It::first_type
+                    >::type
+                >::type
             type;
 
             BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
             static type
             call(It const& it)
             {
-                return fusion::deref_data(it.first);
+                return fusion::deref_data(fusion::prior(it.first));
             }
         };
     };

include/boost/fusion/view/reverse_view/detail/key_of_impl.hpp

@@ -1,5 +1,6 @@
 /*=============================================================================
     Copyright (c) 2009 Christopher Schmidt
+    Copyright (c) 2021-2022 Denis Mikhailov
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -10,6 +11,7 @@
 
 #include <boost/fusion/support/config.hpp>
 #include <boost/fusion/iterator/key_of.hpp>
+#include <boost/fusion/iterator/prior.hpp>
 
 namespace boost { namespace fusion { namespace extension
 {
@@ -21,8 +23,15 @@ namespace boost { namespace fusion { namespace extension
     {
         template <typename It>
         struct apply
-          : result_of::key_of<typename It::it_type>
-        {};
+        {
+            typedef typename
+                result_of::key_of<
+                    typename result_of::prior<
+                        typename It::first_type
+                    >::type
+                >::type
+            type;
+        };
     };
 }}}
 

include/boost/fusion/view/reverse_view/detail/value_of_data_impl.hpp

@@ -1,5 +1,6 @@
 /*=============================================================================
     Copyright (c) 2009 Christopher Schmidt
+    Copyright (c) 2021-2022 Denis Mikhailov
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -10,6 +11,7 @@
 
 #include <boost/fusion/support/config.hpp>
 #include <boost/fusion/iterator/value_of_data.hpp>
+#include <boost/fusion/iterator/prior.hpp>
 
 namespace boost { namespace fusion { namespace extension
 {
@@ -21,8 +23,15 @@ namespace boost { namespace fusion { namespace extension
     {
         template <typename It>
         struct apply
-          : result_of::value_of_data<typename It::first_type>
-        {};
+        {
+            typedef typename
+                result_of::value_of_data<
+                    typename result_of::prior<
+                        typename It::first_type
+                    >::type
+                >::type
+            type;
+        };
     };
 }}}
 

include/boost/fusion/view/reverse_view/reverse_view.hpp

@@ -27,6 +27,11 @@
 #include <boost/mpl/inherit.hpp>
 #include <boost/mpl/identity.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct reverse_view_tag;
@@ -60,13 +65,13 @@ namespace boost { namespace fusion
         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
         last_type last() const { return fusion::end(seq); }
         typename mpl::if_<traits::is_view<Sequence>, Sequence, Sequence&>::type seq;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        reverse_view& operator= (reverse_view const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #endif
 
 

include/boost/fusion/view/reverse_view/reverse_view_iterator.hpp

@@ -24,6 +24,11 @@
 #include <boost/type_traits/is_base_of.hpp>
 #include <boost/static_assert.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct reverse_view_iterator_tag;
@@ -47,13 +52,13 @@ namespace boost { namespace fusion
             : first(converter::call(in_first)) {}
 
         first_type first;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        reverse_view_iterator& operator= (reverse_view_iterator const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

include/boost/fusion/view/single_view/single_view_iterator.hpp

@@ -20,9 +20,9 @@
 #include <boost/fusion/view/single_view/detail/value_of_impl.hpp>
 #include <boost/config.hpp>
 
-#if defined (BOOST_MSVC)
+#ifdef _MSC_VER
 #  pragma warning(push)
-#  pragma warning (disable: 4512) // assignment operator could not be generated.
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
 #endif
 
 namespace boost { namespace fusion
@@ -45,12 +45,13 @@ namespace boost { namespace fusion
             : view(in_view) {}
 
         SingleView& view;
-
-    private:
-        single_view_iterator& operator=(single_view_iterator const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {
@@ -60,10 +61,6 @@ namespace std
 }
 #endif
 
-#if defined (BOOST_MSVC)
-#  pragma warning(pop)
-#endif
-
 #endif
 
 

include/boost/fusion/view/transform_view/detail/apply_transform_result.hpp

@@ -1,38 +0,0 @@
-/*=============================================================================
-    Copyright (c) 2001-2011 Joel de Guzman
-    Copyright (c) 2007 Dan Marsden
-
-    Distributed under the Boost Software License, Version 1.0. (See accompanying 
-    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
-==============================================================================*/
-#if !defined(BOOST_FUSION_APPLY_TRANSFORM_RESULT_02092006_1936)
-#define BOOST_FUSION_APPLY_TRANSFORM_RESULT_02092006_1936
-
-#include <boost/fusion/support/config.hpp>
-#include <boost/utility/result_of.hpp>
-
-namespace boost { namespace fusion
-{
-    struct void_;
-    
-    namespace detail
-    {
-        template <typename F>
-        struct apply_transform_result
-        {
-            template <typename T0, typename T1 = void_>
-            struct apply
-                : boost::result_of<F(T0, T1)>
-            {};
-
-            template <typename T0>
-            struct apply<T0, void_>
-                : boost::result_of<F(T0)>
-            {};
-        };
-    }
-}}
-
-#endif
-
-

include/boost/fusion/view/transform_view/detail/at_impl.hpp

@@ -1,6 +1,7 @@
 /*=============================================================================
     Copyright (c) 2001-2011 Joel de Guzman
     Copyright (c) 2005-2006 Dan Marsden
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying 
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -9,9 +10,8 @@
 #define BOOST_FUSION_AT_IMPL_20061029_1946
 
 #include <boost/fusion/support/config.hpp>
-#include <boost/mpl/apply.hpp>
-#include <boost/fusion/view/transform_view/detail/apply_transform_result.hpp>
 #include <boost/fusion/sequence/intrinsic/at.hpp>
+#include <boost/utility/result_of.hpp>
 
 namespace boost { namespace fusion {
     struct transform_view_tag;
@@ -29,9 +29,8 @@ namespace boost { namespace fusion {
             struct apply
             {
                 typedef typename Seq::transform_type F;
-                typedef detail::apply_transform_result<F> transform_type;
-                typedef typename boost::fusion::result_of::at<typename Seq::sequence_type, N>::type value_type;
-                typedef typename mpl::apply<transform_type, value_type>::type type;
+                typedef typename result_of::at<typename Seq::sequence_type, N>::type value_type;
+                typedef typename boost::result_of<F(value_type)>::type type;
 
                 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
                 static type call(Seq& seq)
@@ -48,10 +47,9 @@ namespace boost { namespace fusion {
             struct apply
             {
                 typedef typename Seq::transform_type F;
-                typedef detail::apply_transform_result<F> transform_type;
-                typedef typename boost::fusion::result_of::at<typename Seq::sequence1_type, N>::type value1_type;
-                typedef typename boost::fusion::result_of::at<typename Seq::sequence2_type, N>::type value2_type;
-                typedef typename mpl::apply<transform_type, value1_type, value2_type>::type type;
+                typedef typename result_of::at<typename Seq::sequence1_type, N>::type value1_type;
+                typedef typename result_of::at<typename Seq::sequence2_type, N>::type value2_type;
+                typedef typename boost::result_of<F(value1_type, value2_type)>::type type;
 
                 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
                 static type call(Seq& seq)

include/boost/fusion/view/transform_view/detail/deref_data_impl.hpp

@@ -0,0 +1,73 @@
+/*=============================================================================
+    Copyright (c) 2022 Denis Mikhailov
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+
+#if !defined(BOOST_FUSION_TRANSFORM_VIEW_DEREF_DATA_IMPL_JAN_9_2022_0354PM)
+#define BOOST_FUSION_TRANSFORM_VIEW_DEREF_DATA_IMPL_JAN_9_2022_0354PM
+
+#include <boost/fusion/support/config.hpp>
+#include <boost/fusion/iterator/deref.hpp>
+#include <boost/type_traits/remove_reference.hpp>
+#include <boost/type_traits/remove_const.hpp>
+#include <boost/type_traits/add_reference.hpp>
+#include <boost/type_traits/add_const.hpp>
+#include <boost/type_traits/is_reference.hpp>
+#include <boost/type_traits/is_const.hpp>
+#include <boost/utility/result_of.hpp>
+#include <boost/mpl/if.hpp>
+
+namespace boost { namespace fusion
+{
+    struct transform_view_iterator_tag;
+    struct transform_view_iterator2_tag;
+
+    namespace extension
+    {
+        template<typename Tag>
+        struct deref_data_impl;
+
+        // Unary Version
+        template<>
+        struct deref_data_impl<transform_view_iterator_tag>
+        {
+            template <typename Iterator>
+            struct apply
+            {
+                typedef typename
+                    result_of::deref<typename Iterator::first_type>::type
+                value_type;
+
+                typedef typename Iterator::transform_type F;
+                typedef typename boost::result_of<F(value_type)>::type transformed_type;
+                typedef typename boost::remove_reference<transformed_type>::type transformed_type_unref;
+                typedef typename boost::remove_const<transformed_type_unref>::type transformed_type_unconst;
+
+                typedef typename transformed_type_unconst::second_type raw_type;
+                typedef typename
+                    boost::mpl::if_<
+                        is_reference<transformed_type>
+                      , typename boost::mpl::if_<
+                            is_const<transformed_type_unref>
+                            , typename boost::add_reference<typename boost::add_const<raw_type>::type>::type
+                            , typename boost::add_reference<raw_type>::type
+                        >::type
+                      , raw_type
+                    >::type
+                type;
+
+                BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
+                static type
+                call(Iterator const& i)
+                {
+                    return i.f(fusion::deref(i.first)).second;
+                }
+            };
+        };
+
+        // Binary Version is not supported with Associative Sequence
+    }
+}}
+
+#endif

include/boost/fusion/view/transform_view/detail/deref_impl.hpp

@@ -1,5 +1,6 @@
 /*=============================================================================
     Copyright (c) 2001-2011 Joel de Guzman
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying 
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -8,10 +9,8 @@
 #define FUSION_DEREF_IMPL_07162005_1026
 
 #include <boost/fusion/support/config.hpp>
-#include <boost/mpl/apply.hpp>
 #include <boost/fusion/iterator/deref.hpp>
-#include <boost/fusion/iterator/value_of.hpp>
-#include <boost/fusion/view/transform_view/detail/apply_transform_result.hpp>
+#include <boost/utility/result_of.hpp>
 
 namespace boost { namespace fusion
 {
@@ -34,8 +33,8 @@ namespace boost { namespace fusion
                     result_of::deref<typename Iterator::first_type>::type
                 value_type;
 
-                typedef detail::apply_transform_result<typename Iterator::transform_type> transform_type;
-                typedef typename mpl::apply<transform_type, value_type>::type type;
+                typedef typename Iterator::transform_type F;
+                typedef typename boost::result_of<F(value_type)>::type type;
 
                 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
                 static type
@@ -60,8 +59,8 @@ namespace boost { namespace fusion
                     result_of::deref<typename Iterator::first2_type>::type
                 value2_type;
 
-                typedef detail::apply_transform_result<typename Iterator::transform_type> transform_type;
-                typedef typename mpl::apply<transform_type, value1_type, value2_type>::type type;
+                typedef typename Iterator::transform_type F;
+                typedef typename boost::result_of<F(value1_type, value2_type)>::type type;
 
                 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
                 static type
@@ -70,7 +69,7 @@ namespace boost { namespace fusion
                     return i.f(*i.first1, *i.first2);
                 }
             };
-        };    
+        };
     }
 }}
 

include/boost/fusion/view/transform_view/detail/key_of_impl.hpp

@@ -0,0 +1,49 @@
+/*=============================================================================
+    Copyright (c) 2022 Denis Mikhailov
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+
+#if !defined(BOOST_FUSION_TRANSFORM_VIEW_KEY_OF_IMPL_JAN_9_2022_0354PM)
+#define BOOST_FUSION_TRANSFORM_VIEW_KEY_OF_IMPL_JAN_9_2022_0354PM
+
+#include <boost/fusion/support/config.hpp>
+#include <boost/fusion/iterator/deref.hpp>
+#include <boost/type_traits/remove_reference.hpp>
+#include <boost/type_traits/remove_const.hpp>
+#include <boost/utility/result_of.hpp>
+
+namespace boost { namespace fusion
+{
+    struct transform_view_iterator_tag;
+    struct transform_view_iterator2_tag;
+
+    namespace extension
+    {
+        template<typename Tag>
+        struct key_of_impl;
+
+        // Unary Version
+        template<>
+        struct key_of_impl<transform_view_iterator_tag>
+        {
+            template <typename Iterator>
+            struct apply
+            {
+                typedef typename
+                    result_of::deref<typename Iterator::first_type>::type
+                value_type;
+
+                typedef typename Iterator::transform_type F;
+                typedef typename boost::result_of<F(value_type)>::type transformed_type;
+                typedef typename boost::remove_reference<transformed_type>::type transformed_type_unref;
+                typedef typename boost::remove_const<transformed_type_unref>::type transformed_type_unconst;
+
+                typedef typename transformed_type_unconst::first_type type;
+            };
+        };
+
+        // Binary Version is not supported with Associative Sequence
+    }
+}}
+#endif

include/boost/fusion/view/transform_view/detail/value_at_impl.hpp

@@ -1,6 +1,7 @@
 /*=============================================================================
     Copyright (c) 2001-2011 Joel de Guzman
     Copyright (c) 2005-2006 Dan Marsden
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -9,9 +10,8 @@
 #define BOOST_FUSION_VALUE_AT_IMPL_20061101_0745
 
 #include <boost/fusion/support/config.hpp>
-#include <boost/mpl/apply.hpp>
-#include <boost/fusion/view/transform_view/detail/apply_transform_result.hpp>
 #include <boost/fusion/sequence/intrinsic/value_at.hpp>
+#include <boost/utility/result_of.hpp>
 
 namespace boost { namespace fusion {
     struct transform_view_tag;
@@ -29,9 +29,8 @@ namespace boost { namespace fusion {
             struct apply
             {
                 typedef typename Seq::transform_type F;
-                typedef detail::apply_transform_result<F> transform_type;
-                typedef typename boost::fusion::result_of::value_at<typename Seq::sequence_type, N>::type value_type;
-                typedef typename mpl::apply<transform_type, value_type>::type type;
+                typedef typename result_of::value_at<typename Seq::sequence_type, N>::type value_type;
+                typedef typename boost::result_of<F(value_type)>::type type;
             };
         };
 
@@ -42,10 +41,9 @@ namespace boost { namespace fusion {
             struct apply
             {
                 typedef typename Seq::transform_type F;
-                typedef detail::apply_transform_result<F> transform_type;
-                typedef typename boost::fusion::result_of::value_at<typename Seq::sequence1_type, N>::type value1_type;
-                typedef typename boost::fusion::result_of::value_at<typename Seq::sequence2_type, N>::type value2_type;
-                typedef typename mpl::apply<transform_type, value1_type, value2_type>::type type;
+                typedef typename result_of::value_at<typename Seq::sequence1_type, N>::type value1_type;
+                typedef typename result_of::value_at<typename Seq::sequence2_type, N>::type value2_type;
+                typedef typename boost::result_of<F(value1_type, value2_type)>::type type;
             };
         };
     }

include/boost/fusion/view/transform_view/detail/value_of_data_impl.hpp

@@ -0,0 +1,49 @@
+/*=============================================================================
+    Copyright (c) 2022 Denis Mikhailov
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+
+#if !defined(BOOST_FUSION_TRANSFORM_VIEW_VALUE_OF_IMPL_JAN_9_2022_0354PM)
+#define BOOST_FUSION_TRANSFORM_VIEW_VALUE_OF_IMPL_JAN_9_2022_0354PM
+
+#include <boost/fusion/support/config.hpp>
+#include <boost/fusion/iterator/deref.hpp>
+#include <boost/type_traits/remove_reference.hpp>
+#include <boost/type_traits/remove_const.hpp>
+#include <boost/utility/result_of.hpp>
+
+namespace boost { namespace fusion
+{
+    struct transform_view_iterator_tag;
+    struct transform_view_iterator2_tag;
+
+    namespace extension
+    {
+        template<typename Tag>
+        struct value_of_data_impl;
+
+        // Unary Version
+        template<>
+        struct value_of_data_impl<transform_view_iterator_tag>
+        {
+            template <typename Iterator>
+            struct apply
+            {
+                typedef typename
+                    result_of::deref<typename Iterator::first_type>::type
+                value_type;
+
+                typedef typename Iterator::transform_type F;
+                typedef typename boost::result_of<F(value_type)>::type transformed_type;
+                typedef typename boost::remove_reference<transformed_type>::type transformed_type_unref;
+                typedef typename boost::remove_const<transformed_type_unref>::type transformed_type_unconst;
+
+                typedef typename transformed_type_unconst::second_type type;
+            };
+        };
+
+        // Binary Version is not supported with Associative Sequence
+    }
+}}
+#endif

include/boost/fusion/view/transform_view/detail/value_of_impl.hpp

@@ -1,5 +1,6 @@
 /*=============================================================================
     Copyright (c) 2001-2011 Joel de Guzman
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying 
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
@@ -8,9 +9,8 @@
 #define FUSION_VALUE_OF_IMPL_07162005_1030
 
 #include <boost/fusion/support/config.hpp>
-#include <boost/mpl/apply.hpp>
 #include <boost/fusion/iterator/value_of.hpp>
-#include <boost/fusion/view/transform_view/detail/apply_transform_result.hpp>
+#include <boost/utility/result_of.hpp>
 
 namespace boost { namespace fusion
 {
@@ -33,8 +33,8 @@ namespace boost { namespace fusion
                     result_of::value_of<typename Iterator::first_type>::type
                 value_type;
 
-                typedef detail::apply_transform_result<typename Iterator::transform_type> transform_type;
-                typedef typename mpl::apply<transform_type, value_type>::type type;
+                typedef typename Iterator::transform_type F;
+                typedef typename boost::result_of<F(value_type)>::type type;
             };
         };
 
@@ -52,8 +52,8 @@ namespace boost { namespace fusion
                     result_of::value_of<typename Iterator::first2_type>::type
                 value2_type;
 
-                typedef detail::apply_transform_result<typename Iterator::transform_type> transform_type;
-                typedef typename mpl::apply<transform_type, value1_type, value2_type>::type type;
+                typedef typename Iterator::transform_type F;
+                typedef typename boost::result_of<F(value1_type, value2_type)>::type type;
             };
         };
     }

include/boost/fusion/view/transform_view/transform_view.hpp

@@ -27,6 +27,11 @@
 #include <boost/fusion/sequence/intrinsic/size.hpp>
 #include <boost/mpl/bool.hpp>
 
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
+
 namespace boost { namespace fusion
 {
     struct void_;
@@ -75,10 +80,6 @@ namespace boost { namespace fusion
         transform_type f;
         typename mpl::if_<traits::is_view<Sequence1>, Sequence1, Sequence1&>::type seq1;
         typename mpl::if_<traits::is_view<Sequence2>, Sequence2, Sequence2&>::type seq2;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        transform_view& operator= (transform_view const&);
     };
 
     // Unary Version
@@ -112,13 +113,13 @@ namespace boost { namespace fusion
         last_type last() const { return fusion::end(seq); }
         typename mpl::if_<traits::is_view<Sequence>, Sequence, Sequence&>::type seq;
         transform_type f;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        transform_view& operator= (transform_view const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #endif
 
 

include/boost/fusion/view/transform_view/transform_view_iterator.hpp

@@ -19,6 +19,14 @@
 #include <boost/fusion/view/transform_view/detail/advance_impl.hpp>
 #include <boost/fusion/view/transform_view/detail/distance_impl.hpp>
 #include <boost/fusion/view/transform_view/detail/equal_to_impl.hpp>
+#include <boost/fusion/view/transform_view/detail/key_of_impl.hpp>
+#include <boost/fusion/view/transform_view/detail/value_of_data_impl.hpp>
+#include <boost/fusion/view/transform_view/detail/deref_data_impl.hpp>
+
+#ifdef _MSC_VER
+#  pragma warning(push)
+#  pragma warning(disable: 4512) // assignment operator could not be generated.
+#endif
 
 namespace boost { namespace fusion
 {
@@ -41,10 +49,6 @@ namespace boost { namespace fusion
 
         first_type first;
         transform_type f;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        transform_view_iterator& operator= (transform_view_iterator const&);
     };
 
     // Binary Version
@@ -69,13 +73,13 @@ namespace boost { namespace fusion
         first1_type first1;
         first2_type first2;
         transform_type f;
-
-    private:
-        // silence MSVC warning C4512: assignment operator could not be generated
-        transform_view_iterator2& operator= (transform_view_iterator2 const&);
     };
 }}
 
+#ifdef _MSC_VER
+#  pragma warning(pop)
+#endif
+
 #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
 namespace std
 {

meta/libraries.json

@@ -16,5 +16,6 @@
         "Joel de Guzman <joel -at- boost-consulting.com>",
         "Dan Marsden <danmarsden -at- yahoo.co.uk>",
         "Tobias Schwinger <tschwinger -at- isonews2.com>"
-    ]
+    ],
+    "cxxstd": "03"
 }

test/Jamfile

@@ -66,6 +66,7 @@ project
     [ run algorithm/zip2.cpp ]
     [ run algorithm/zip_ignore.cpp ]
     [ run algorithm/flatten.cpp ]
+    [ compile algorithm/ticket-5490.cpp ]
 
     [ run sequence/as_deque.cpp ]
     [ run sequence/as_list.cpp ]
@@ -154,9 +155,8 @@ project
     [ run sequence/tuple_traits.cpp : :
         : <define>BOOST_FUSION_DISABLE_VARIADIC_VECTOR
         : tuple_traits__no_variadic ]
-    [ run sequence/tuple_trivially_copyable.cpp : :
-        : [ requires cxx11_variadic_templates ] ]
     [ run sequence/transform_view.cpp ]
+    [ run sequence/identity_view.cpp ]
     [ run sequence/vector_comparison.cpp ]
     [ run sequence/vector_construction.cpp ]
     [ run sequence/vector_conversion.cpp ]
@@ -177,8 +177,6 @@ project
     [ run sequence/vector_traits.cpp : :
         : <define>BOOST_FUSION_DISABLE_VARIADIC_VECTOR
         : vector_traits__no_variadic ]
-    [ run sequence/vector_trivially_copyable.cpp : :
-        : [ requires cxx11_variadic_templates ] ]
     [ run sequence/vector_value_at.cpp ]
     [ run sequence/zip_view.cpp ]
     [ run sequence/zip_view2.cpp ]
@@ -260,6 +258,7 @@ project
     [ run sequence/swap.cpp ]
 
     [ compile support/is_sequence.cpp ]
+    [ compile support/is_view.cpp ]
     [ compile support/pair_deque.cpp ]
     [ compile support/pair_list.cpp ]
     [ compile support/pair_map.cpp ]
@@ -272,9 +271,11 @@ project
         : [ requires cxx11_variadic_templates ] ]
     [ compile support/tag_of.cpp ]
     [ compile support/unused.cpp ]
-    [ compile support/is_trivially_copyable.cpp ]
-    [ compile support/propagate_trivialness.cpp
-        : [ requires cxx11_variadic_templates ] ]
+    [ compile support/detail/tag_of_fallback.cpp ]
+
+    [ compile-fail support/make_pair_r-value.cpp ]
+    [ compile support/make_pair_r-value.cpp
+        : [ requires cxx11_rvalue_references ] ]
 
 #   [ compile-fail xxx.cpp  ]
 

test/algorithm/for_each.cpp

@@ -1,13 +1,15 @@
 /*=============================================================================
     Copyright (c) 2001-2011 Joel de Guzman
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying 
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
 ==============================================================================*/
-#include <boost/detail/lightweight_test.hpp>
+#include <boost/core/lightweight_test.hpp>
 #include <boost/fusion/container/vector/vector.hpp>
 #include <boost/fusion/adapted/mpl.hpp>
 #include <boost/fusion/sequence/io/out.hpp>
+#include <boost/fusion/sequence/comparison/equal_to.hpp>
 #include <boost/fusion/algorithm/iteration/for_each.hpp>
 #include <boost/mpl/vector_c.hpp>
 
@@ -29,6 +31,15 @@ struct increment
     }
 };
 
+struct mutable_increment : increment
+{
+    template <typename T>
+    void operator()(T& v)
+    {
+        return increment::operator()(v);
+    }
+};
+
 int
 main()
 {
@@ -44,9 +55,20 @@ main()
     }
 
     {
+        char const ruby[] = "Ruby";
         typedef vector<int, char, double, char const*> vector_type;
-        vector_type v(1, 'x', 3.3, "Ruby");
+        vector_type v(1, 'x', 3.3, ruby);
         for_each(v, increment());
+        BOOST_TEST_EQ(v, vector_type(2, 'y', 4.3, ruby + 1));
+        std::cout << v << std::endl;
+    }
+
+    {
+        char const ruby[] = "Ruby";
+        typedef vector<int, char, double, char const*> vector_type;
+        vector_type v(1, 'x', 3.3, ruby);
+        for_each(v, mutable_increment());
+        BOOST_TEST_EQ(v, vector_type(2, 'y', 4.3, ruby + 1));
         std::cout << v << std::endl;
     }
 

test/algorithm/segmented_for_each.cpp

@@ -1,14 +1,17 @@
 /*=============================================================================
     Copyright (c) 2001-2011 Joel de Guzman
     Copyright (c) 2011 Eric Niebler
+    Copyright (c) 2018 Kohei Takahashi
 
     Distributed under the Boost Software License, Version 1.0. (See accompanying 
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
 ==============================================================================*/
-#include <boost/detail/lightweight_test.hpp>
+#include <boost/core/lightweight_test.hpp>
 #include <boost/fusion/container/vector/vector.hpp>
-#include <boost/fusion/algorithm/iteration/for_each.hpp>
 #include <boost/fusion/container/generation/make_vector.hpp>
+#include <boost/fusion/algorithm/iteration/for_each.hpp>
+#include <boost/fusion/sequence/comparison/equal_to.hpp>
+#include <boost/fusion/sequence/io/out.hpp>
 #include "../sequence/tree.hpp"
 
 struct print
@@ -20,6 +23,31 @@ struct print
     }
 };
 
+struct increment
+{
+    template <typename T>
+    void operator()(T& v) const
+    {
+        ++v;
+    }
+};
+
+struct mutable_increment : increment
+{
+    template <typename T>
+    void operator()(T& v)
+    {
+        return increment::operator()(v);
+    }
+};
+
+template <typename F, typename Tree>
+void test(Tree tree, Tree const& expected)
+{
+    boost::fusion::for_each(tree, F());
+    BOOST_TEST_EQ(tree, expected);
+}
+
 int
 main()
 {
@@ -42,6 +70,69 @@ main()
             )
           , print()
         );
+        std::cout << std::endl;
+    }
+
+    {
+        test<increment>(
+            make_tree(
+                make_vector(double(0),'B')
+              , make_tree(
+                    make_vector(1,2,long(3))
+                  , make_tree(make_vector('a','b','c'))
+                  , make_tree(make_vector(short('d'),'e','f'))
+                )
+              , make_tree(
+                    make_vector(4,5,6)
+                  , make_tree(make_vector(float(1),'h','i'))
+                  , make_tree(make_vector('j','k','l'))
+                )
+            )
+          , make_tree(
+                make_vector(double(1),'C')
+              , make_tree(
+                    make_vector(2,3,long(4))
+                  , make_tree(make_vector('b','c','d'))
+                  , make_tree(make_vector(short('e'),'f','g'))
+                )
+              , make_tree(
+                    make_vector(5,6,7)
+                  , make_tree(make_vector(float(2),'i','j'))
+                  , make_tree(make_vector('k','l','m'))
+                )
+            )
+        );
+    }
+
+    {
+        test<mutable_increment>(
+            make_tree(
+                make_vector(double(0),'B')
+              , make_tree(
+                    make_vector(1,2,long(3))
+                  , make_tree(make_vector('a','b','c'))
+                  , make_tree(make_vector(short('d'),'e','f'))
+                )
+              , make_tree(
+                    make_vector(4,5,6)
+                  , make_tree(make_vector(float(1),'h','i'))
+                  , make_tree(make_vector('j','k','l'))
+                )
+            )
+          , make_tree(
+                make_vector(double(1),'C')
+              , make_tree(
+                    make_vector(2,3,long(4))
+                  , make_tree(make_vector('b','c','d'))
+                  , make_tree(make_vector(short('e'),'f','g'))
+                )
+              , make_tree(
+                    make_vector(5,6,7)
+                  , make_tree(make_vector(float(2),'i','j'))
+                  , make_tree(make_vector('k','l','m'))
+                )
+            )
+        );
     }
 
     return boost::report_errors();

test/algorithm/ticket-5490.cpp

@@ -0,0 +1,41 @@
+/*=============================================================================
+    Copyright (c) 2018 Kohei Takahashi
+
+    Distributed under the Boost Software License, Version 1.0. (See accompanying 
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+#include <boost/fusion/include/vector.hpp>
+#include <boost/fusion/include/transform.hpp>
+#include <boost/mpl/quote.hpp>
+#include <boost/mpl/placeholders.hpp>
+#include <boost/core/ignore_unused.hpp>
+
+using namespace boost::fusion;
+
+template <typename>
+struct predicate {};
+
+struct unique {};
+
+template <typename>
+struct meta_func
+{
+    typedef unique result_type;
+
+    template <typename T>
+    unique operator()(const T&) const;
+};
+
+int main()
+{
+    vector<int> v;
+
+    typedef predicate<boost::mpl::_1> lambda_t;
+    typedef boost::mpl::quote1<predicate> quote_t;
+
+    vector<unique> l = transform(v, meta_func<lambda_t>());
+
+    vector<unique> q = transform(v, meta_func<quote_t>());
+
+    boost::ignore_unused(l, q);
+}

test/functional/fused.cpp

@@ -9,7 +9,7 @@
 #include <boost/fusion/functional/adapter/fused.hpp>
 #include <boost/detail/lightweight_test.hpp>
 
-#include <boost/noncopyable.hpp>
+#include <boost/core/noncopyable.hpp>
 
 #include <boost/fusion/container/generation/make_vector.hpp>
 #include <boost/fusion/container/vector.hpp>