Redefining a data property that is non-writable but configurable: which redefinitions are permitted by [[DefineOwnProperty]]?

const o = {}; Object.defineProperty(o, 'a', { value: 1, writable: false, configurable: true }); Object.defineProperty(o, 'a', { value: 2 }); console.log(o.a);