path: root/compiler/tests/verifier/import_overwrite.bad

uses aaa:bbb as bbb; // ERROR

int bbb;
int bbb:ccc;