VisualStudio 2017 уже поддерживает контракты кода C ++ 17?

Кто-нибудь знает, имеет ли VS2017 уже поддержку контрактов кода, как показано здесь C ++ 17 кодовые контракты?

Когда я пытаюсь использовать их с помощью

explicit IniHandler(std::string fileName) [[expects: fileName != nullptr]]
{
this->fileName = fileName;
}

Это не похоже на работу.

Я использую опцию командной строки /std:c++latest но все равно я получаю предупреждение
«Идентификатор ожидается».

Любая помощь с удовольствием приветствуется 🙂