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

typedef A = int;
namespace A {
    typedef here = int; // ERROR
}