`Nothing` is not documented in the language module and cannot be linked
to #1303