Is "typecase self of" a syntax error?

If I have:

component Main
export Executable

trait T
    m() = typecase self of
        T => "T"
        else => "else"
    end
end

run(args) = ()

end

I get "/path.../Main.fss:5:24: Syntax Error". Is it an error? If I
have "typecase s = self of" instead, I don't get the error message.

Unrelated to this, I've seen I pass "-Dfortress.static.analysis=1"
when I call fortress. Probably this was documented sometime somewhere.
Does this still have an effect? If so, does it have the same effect as
running typecheck before?