Yes, that's it. 19 февр. 2018 г. 20:53 пользователь "Mike Samuel" <mikesam...@gmail.com> написал:
On Mon, Feb 19, 2018 at 11:50 AM, Aleksander Efremov <mr.ef...@gmail.com> wrote: > In my first example you can found what I mean. There not only function. > Just instead of that function can be black box results which we must check > on assignment to const. > Are you referring to the use of PrimitiveNumber in `const c: PrimitiveNumber = sum(1, 2);` ? When treating sum as a black box, you can't rely on it to check its {pre,post}condiitons, so you need an additional guard on the const initializer?
_______________________________________________ es-discuss mailing list es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss