name not defined in submodule --> tests/ui/parse-fail/import-bad.witx:2:7 | 2 | use { nonexistent } from import-me | ^----------