Check static private methods on super class are called with correct receiver

This commit is contained in:
Kubilay Kahveci 2019-07-12 13:23:35 +01:00
parent 6cb0a531af
commit e2d9794092

View File

@ -0,0 +1,33 @@
// Copyright (C) 2019 Kubilay Kahveci (Bloomberg LP). All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
desc: Static private methods on the super-class cannot be called with sub-class as the receiver
info: |
PrivateFieldGet (P, O)
1. Assert: P is a Private Name.
2. If O is not an object, throw a TypeError exception.
3. If P.[[Kind]] is "field",
...
4. Perform ? PrivateBrandCheck(O, P).
5. If P.[[Kind]] is "method",
a. Return P.[[Value]].
...
PrivateBrandCheck(O, P)
1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
a. Throw a TypeError exception.
template: default
features: [class-static-methods-private]
---*/
//- elements
static f() { return this.#g(); }
static #g() { return 42; }
//- assertions
class D extends C {}
assert.sameValue(C.f(), 42);
assert.throws(TypeError, function() {
D.f();
}, 'D does not contain static private method #g');