public override Statement VisitThrow(Throw Throw) { // The base Checker will complain that we haven't resolved Throw.Expression // but for us that's ok because exceptions are just names. return Throw; }