Test.cpp compilation fails with Visual Studio 2017 15.9.0 Preview 3.0 in standards conformant mode

[spikedom]

Compiling test.cpp with the /permissive- switch to put msvc into standards conformant mode results in the compilation errors below.

In permissive mode test.cpp compiles cleanly.

test.cpp
mpl\src\kvasir\mpl\sequence\join.hpp(2125): error C2794: 'type': is not a member of any direct or indirect base class of 'kvasir::mpl::detail::join_select<0>::f<kvasir::mpl::list,PrevTypes,kvasir::mpl::list<T0>,kvasir::mpl::list<>,kvasir::mpl::list<>>'
mpl\src\kvasir\mpl\algorithm\combinations.hpp(43): note: see reference to alias template instantiation 'kvasir::mpl::join<kvasir::mpl::listify>::f<PrevTypes,kvasir::mpl::list<T0>>' being compiled
mpl\src\kvasir\mpl\algorithm\combinations.hpp(44): error C2938: 'kvasir::mpl::join<kvasir::mpl::listify>::f' : Failed to specialize alias template
mpl\src\kvasir\mpl\algorithm\combinations.hpp(44): error C2062: type 'unknown-type' unexpected
mpl\src\kvasir\mpl\sequence\join.hpp(2125): error C2794: 'type': is not a member of any direct or indirect base class of 'kvasir::mpl::detail::join_select<0>::f<kvasir::mpl::list,PrevTypes,kvasir::mpl::list<T0,T1>,kvasir::mpl::list<>,kvasir::mpl::list<>>'
mpl\src\kvasir\mpl\algorithm\combinations.hpp(55): note: see reference to alias template instantiation 'kvasir::mpl::join<kvasir::mpl::listify>::f<PrevTypes,kvasir::mpl::list<T0,T1>>' being compiled
mpl\src\kvasir\mpl\algorithm\combinations.hpp(56): error C2938: 'kvasir::mpl::join<kvasir::mpl::listify>::f' : Failed to specialize alias template
mpl\src\kvasir\mpl\algorithm\combinations.hpp(56): error C2062: type 'unknown-type' unexpected
mpl\src\kvasir\mpl\sequence\join.hpp(2125): error C2794: 'type': is not a member of any direct or indirect base class of 'kvasir::mpl::detail::join_select<0>::f<kvasir::mpl::list,kvasir::mpl::list<Ts...>,merge_insert<Comp<T0,U0>::value,kvasir::mpl::list<>,kvasir::mpl::list<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>,kvasir::mpl::list<U0,U1,U2,U3,U4,U5,U6,U7,U8,U9>,Comp>::out,kvasir::mpl::list<>,kvasir::mpl::list<>>'
mpl\src\kvasir\mpl\algorithm\sort.hpp(63): note: see reference to alias template instantiation 'kvasir::mpl::join<kvasir::mpl::listify>::f<kvasir::mpl::list<Ts...>,merge_insert<Comp<T0,U0>::value,kvasir::mpl::list<>,kvasir::mpl::list<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>,kvasir::mpl::list<U0,U1,U2,U3,U4,U5,U6,U7,U8,U9>,Comp>::out>' being compiled
mpl\src\kvasir\mpl\algorithm\sort.hpp(67): note: see reference to class template instantiation 'kvasir::mpl::detail::merge_impl<kvasir::mpl::list<Ts...>,kvasir::mpl::list<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,Ts...>,kvasir::mpl::list<U0,U1,U2,U3,U4,U5,U6,U7,U8,U9,Us...>,Comp>' being compiled
mpl\src\kvasir\mpl\algorithm\sort.hpp(66): error C2938: 'kvasir::mpl::join<kvasir::mpl::listify>::f' : Failed to specialize alias template
mpl\src\kvasir\mpl\algorithm\sort.hpp(66): error C2062: type 'unknown-type' unexpected
mpl\src\kvasir\mpl\sequence\join.hpp(2125): error C2794: 'type': is not a member of any direct or indirect base class of 'kvasir::mpl::detail::join_select<0>::f<kvasir::mpl::list,merge_insert<Comp<T0,U0>::value,kvasir::mpl::list<>,kvasir::mpl::list<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>,kvasir::mpl::list<U0,U1,U2,U3,U4,U5,U6,U7,U8,U9>,Comp>::left,kvasir::mpl::list<T10s...>,kvasir::mpl::list<>,kvasir::mpl::list<>>'
mpl\src\kvasir\mpl\algorithm\sort.hpp(64): note: see reference to alias template instantiation 'kvasir::mpl::join<kvasir::mpl::listify>::f<merge_insert<Comp<T0,U0>::value,kvasir::mpl::list<>,kvasir::mpl::list<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>,kvasir::mpl::list<U0,U1,U2,U3,U4,U5,U6,U7,U8,U9>,Comp>::left,kvasir::mpl::list<T10s...>>' being compiled
mpl\src\kvasir\mpl\sequence\join.hpp(2125): error C2794: 'type': is not a member of any direct or indirect base class of 'kvasir::mpl::detail::join_select<0>::f<kvasir::mpl::list,merge_insert<Comp<T0,U0>::value,kvasir::mpl::list<>,kvasir::mpl::list<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>,kvasir::mpl::list<U0,U1,U2,U3,U4,U5,U6,U7,U8,U9>,Comp>::right,kvasir::mpl::list<T21s...>,kvasir::mpl::list<>,kvasir::mpl::list<>>'
mpl\src\kvasir\mpl\algorithm\sort.hpp(65): note: see reference to alias template instantiation 'kvasir::mpl::join<kvasir::mpl::listify>::f<merge_insert<Comp<T0,U0>::value,kvasir::mpl::list<>,kvasir::mpl::list<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>,kvasir::mpl::list<U0,U1,U2,U3,U4,U5,U6,U7,U8,U9>,Comp>::right,kvasir::mpl::list<T21s...>>' being compiled
mpl\src\kvasir\mpl\algorithm\sort.hpp(66): error C2144: syntax error: 'unknown-type' should be preceded by ';'
mpl\src\kvasir\mpl\algorithm\sort.hpp(66): error C4430: missing type specifier - int assumed. Note: C++ does not support default-int
mpl\src\kvasir\mpl\algorithm\sort.hpp(66): error C2039: 'type': is not a member of '`global namespace''
mpl\src\kvasir\mpl\algorithm\sort.hpp(66): error C2377: 'kvasir::mpl::detail::merge_impl<kvasir::mpl::list<Ts...>,kvasir::mpl::list<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,Ts...>,kvasir::mpl::list<U0,U1,U2,U3,U4,U5,U6,U7,U8,U9,Us...>,Comp>::type': redefinition; typedef cannot be overloaded with any other symbol
mpl\src\kvasir\mpl\algorithm\sort.hpp(62): note: see declaration of 'kvasir::mpl::detail::merge_impl<kvasir::mpl::list<Ts...>,kvasir::mpl::list<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,Ts...>,kvasir::mpl::list<U0,U1,U2,U3,U4,U5,U6,U7,U8,U9,Us...>,Comp>::type'