[ 2017-02-03, Marshall comments ]

[variant]/3 now says "A program that instantiates the definition of variant with no template arguments is ill-formed."