False positive with is_copy_constructible on vector
This is because of a flaw in the design of std::vector. std::vector defines copy construction even if it will fail to compile, and relies on users of std::vector to not invoke the method if it will fail to compile. The alternative design would be to SFINAE block the invocation of the method if the type … Read more