In the descriptions that follow, let i be in the range [0, sizeof...(Types)),
and be the type in Types.

`constexpr variant() noexcept(`*see below*);

```
constexpr variant(const variant& w);
```

`constexpr variant(variant&& w) noexcept(`*see below*);

`template<class T> constexpr variant(T&& t) noexcept(`*see below*);

Let be a type that is determined as follows:
build an imaginary function *FUN*()
for each alternative type
for which x[] = {std::forward<T>(t)};
is well-formed for some invented variable x.

The overload *FUN*() selected by overload
resolution for the expression *FUN*(std::forward<T>(t)) defines
the alternative which is the type of the contained value after
construction.

- sizeof...(Types) is nonzero,
- is_same_v<remove_cvref_t<T>, variant> is false,
- remove_cvref_t<T> is neither a specialization of in_place_type_t nor a specialization of in_place_index_t,
- is_constructible_v<, T> is true, and
- the expression
*FUN*(std::forward<T>(t)) (with*FUN*being the above-mentioned set of imaginary functions) is well-formed.

```
template<class T, class... Args> constexpr explicit variant(in_place_type_t<T>, Args&&... args);
```

```
template<class T, class U, class... Args>
constexpr explicit variant(in_place_type_t<T>, initializer_list<U> il, Args&&... args);
```

```
template<size_t I, class... Args> constexpr explicit variant(in_place_index_t<I>, Args&&... args);
```

```
template<size_t I, class U, class... Args>
constexpr explicit variant(in_place_index_t<I>, initializer_list<U> il, Args&&... args);
```