[strong] Implement revised strong class semantics

test/mjsunit/strong/literals.js

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // Flags: --strong-mode --allow-natives-syntax
 // Flags: --harmony-arrow-functions --harmony-rest-parameters
 // Flags: --harmony-destructuring --harmony-spread-arrays
 
 'use strict';
 
@@ skipping 257 matching lines @@
   }
   function* g() {'use strong'}
   assertStrongGenerator(g);
   assertStrongGenerator(function*(){'use strong'});
   assertStrongGenerator(function* g(){'use strong'});
   assertStrongGenerator({*m(){'use strong'}}.m);
   assertStrongGenerator((class {static *m(){'use strong'}}).m);
   assertStrongGenerator((new class {*m(){'use strong'}}).m);
 })();
 
-(function WeakClassLiterals() {
-  function assertWeakClass(x) {
-    assertFalse(%IsStrong(x));
-    assertFalse(%IsStrong(x.prototype));
-    assertFalse(%IsStrong(new x));
-  }
-  class C {};
-  class D extends C {};
-  class E extends Object {};
-  // class F extends null {};
-  assertWeakClass(C);
-  assertWeakClass(D);
-  assertWeakClass(E);
-  // assertWeakClass(F);
-  assertWeakClass(class {});
-  assertWeakClass(class extends Object {});
-  // assertWeakClass(class extends null {});
-  assertWeakClass(class extends C {});
-  assertWeakClass(class extends class {} {});
-  assertWeakClass(class C {});
-  assertWeakClass(class D extends Object {});
-  // assertWeakClass(class D extends null {});
-  assertWeakClass(class D extends C {});
-  assertWeakClass(class D extends class {} {});
-})();
-
-(function StrongClassLiterals() {
-  'use strong';
-  function assertStrongClass(x) {
-    assertTrue(%IsStrong(x));
-    assertTrue(%IsStrong(x.prototype));
-    // TODO(rossberg): strongify class instance
-    // assertTrue(%IsStrong(new x));
-  }
-  class C {};
-  class D extends C {};
-  class E extends Object {};
-  const W = (1, eval)(() => {'use strict'; return class {}})();
-  class G extends W {};
-  assertStrongClass(C);
-  assertStrongClass(D);
-  assertStrongClass(E);
-  assertStrongClass(G);
-  assertStrongClass(class {});
-  assertStrongClass(class extends Object {});
-  assertStrongClass(class extends C {});
-  assertStrongClass(class extends W {});
-  assertStrongClass(class extends class {} {});
-  assertStrongClass(class C {});
-  assertStrongClass(class D extends Object {});
-  assertStrongClass(class D extends C {});
-  assertStrongClass(class D extends W {});
-  assertStrongClass(class D extends class {} {});
-})();
-
 (function WeakRegExpLiterals() {
   function assertWeakRegExp(x) {
     assertFalse(%IsStrong(x));
   }
   assertWeakRegExp(/abc/);
 })();
 
 (function StrongRegExpLiterals() {
   'use strong';
   function assertStrongRegExp(x) {
     // TODO(rossberg): strongify regexps
     // assertTrue(%IsStrong(x));
   }
   assertStrongRegExp(/abc/);
 })();