Handle @proxy classes in type checker.

tests/compiler/dart2js/size_test.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'package:expect/expect.dart';
 import "package:async_helper/async_helper.dart";
 import "compiler_helper.dart";
 
 const String TEST = "main() => [];";
 
 const String DEFAULT_CORELIB_WITH_LIST = r'''
   class Object {
     Object();
   }
   class bool {}
   abstract class List {}
   class num {}
   class int {}
   class double {}
   class String {}
   class Function {}
   class Type {}
   class Map {}
   class StackTrace {}
   identical(a, b) => true;
+  const proxy = 0;
 ''';
 
 main() {
   asyncTest(() => compileAll(TEST, coreSource: DEFAULT_CORELIB_WITH_LIST).
       then((generated) {
     MockCompiler compiler = new MockCompiler();
     var backend = compiler.backend;
 
     // Make sure no class is emitted.
     Expect.isFalse(generated.contains(backend.emitter.finishClassesName));
   }));
 }