// check-fail // compile-flags: --check-cfg=names()