@Nullable
    @Override
    public Type resolve(@NotNull Scope s, int tag) {
        Type typeval = Indexer.idx.builtins.unknown;
        if (exceptionType != null) {
            typeval = resolveExpr(exceptionType, s, tag);
        }
        if (name != null) {
            NameBinder.bind(s, name, typeval, tag);
        }
        if (body != null) {
            return resolveExpr(body, s, tag);
        } else {
            return Indexer.idx.builtins.unknown;
        }
    }