{"id":466310,"date":"2025-07-07T15:34:16","date_gmt":"2025-07-07T15:34:16","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=466310"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=466310","title":{"rendered":"<span>\u0427\u0442\u043e \u043d\u0435 \u043f\u0438\u0448\u0443\u0442 \u0432 \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438 Kotlin Contracts: \u0442\u0451\u043c\u043d\u044b\u0435 \u0437\u0430\u043a\u043e\u0443\u043b\u043a\u0438 \u0438 \u043f\u0430\u0441\u0445\u0430\u043b\u043a\u0438<\/span>"},"content":{"rendered":"<div><!--[--><!--]--><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p><strong>\u041d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u0434\u0438\u0441\u043a\u043b\u0435\u0439\u043c\u0435\u0440<\/strong><\/p>\n<blockquote>\n<p>\u042f \u043d\u0435\u00a0\u043f\u0438\u0441\u0430\u043b \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 Kotlin \u0438, \u043a\u0430\u043a\u00a0\u0438 \u043b\u044e\u0431\u043e\u0439 \u0436\u0438\u0432\u043e\u0439 \u0447\u0435\u043b\u043e\u0432\u0435\u043a, \u043c\u043e\u0433 \u0447\u0442\u043e\u2011\u0442\u043e \u0443\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u0438\u043b\u0438\u00a0\u043d\u0435\u0432\u0435\u0440\u043d\u043e \u0438\u0441\u0442\u043e\u043b\u043a\u043e\u0432\u0430\u0442\u044c. \u041c\u043e\u044f \u0437\u0430\u0434\u0430\u0447\u0430\u00a0\u2014 \u043d\u0435\u00a0\u0440\u0430\u0441\u043f\u0438\u0441\u0430\u0442\u044c \u043a\u0430\u0436\u0434\u044b\u0439 \u0432\u0438\u043d\u0442\u0438\u043a \u0432\u00a0\u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c\u0435 Contracts, \u0430\u00a0\u043f\u043e\u0434\u0435\u043b\u0438\u0442\u044c\u0441\u044f \u0442\u0435\u043c\u0438 \u043b\u044e\u0431\u043e\u043f\u044b\u0442\u043d\u044b\u043c\u0438 \u043c\u043e\u043c\u0435\u043d\u0442\u0430\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0443\u0434\u0430\u043b\u043e\u0441\u044c \u043d\u0430\u043a\u043e\u043f\u0430\u0442\u044c \u043f\u0440\u0438\u00a0\u0447\u0442\u0435\u043d\u0438\u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u043e\u0432. \u0415\u0441\u043b\u0438 \u0447\u0442\u043e\u2011\u0442\u043e \u043f\u043e\u043a\u0430\u0436\u0435\u0442\u0441\u044f \u043d\u0435\u0442\u043e\u0447\u043d\u044b\u043c \u0438\u043b\u0438\u00a0\u0441\u043f\u043e\u0440\u043d\u044b\u043c\u00a0\u2014 \u043f\u0438\u0448\u0438\u0442\u0435 \u0432\u00a0\u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445, \u0432\u0441\u0435\u0433\u0434\u0430 \u0440\u0430\u0434 \u043e\u0442\u043a\u0440\u044b\u0442\u043e\u043c\u0443 \u0434\u0438\u0430\u043b\u043e\u0433\u0443 \u0438 \u043a\u043e\u043b\u043b\u0435\u043a\u0442\u0438\u0432\u043d\u043e\u043c\u0443 \u00ab\u0434\u043e\u043a\u0430\u043f\u044b\u0432\u0430\u043d\u0438\u044e \u0434\u043e\u00a0\u0441\u0443\u0442\u0438\u00bb.<\/p>\n<\/blockquote>\n<p><strong>\u041f\u0440\u0438\u043c\u0435\u0447\u0430\u043d\u0438\u0435<\/strong>. \u042d\u0442\u043e \u0432\u0442\u043e\u0440\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u00ab\u044d\u043f\u043e\u043f\u0435\u0438\u00bb \u043f\u0440\u043e <strong>\u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432 Kotlin.<\/strong> \u0420\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u043f\u0435\u0440\u0432\u0443\u044e \u0447\u0430\u0441\u0442\u044c \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435 \u043d\u0438\u0436\u0435:<\/p>\n<p><a href=\"https:\/\/habr.com\/ru\/companies\/alfa\/articles\/916536\/\" target=\"_blank\" rel=\"noopener noreferrer nofollow\" class=\"embed_link embed_layout-right\"><\/p>\n<div class=\"embed__thumb\" style=\"background-image: url(&quot;https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/939\/801\/d62\/939801d6219939a01b57b57ffb19cf13.jpeg&quot;);\"><\/div>\n<div class=\"embed__caption\">\n<div class=\"embed__caption-title\"><span>\u041d\u0435 \u0445\u043e\u0442\u0438\u0442\u0435 \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c \u043e Kotlin Contracts?<\/span><\/div>\n<div class=\"embed__caption-description\">\u041f\u0440\u0438\u0432\u0435\u0442! \u041c\u0435\u043d\u044f \u0437\u043e\u0432\u0443\u0442 \u0412\u0438\u0442\u0430\u043b\u0438\u0439. \u042f\u00a0\u2014 Android\u2011\u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a \u0432\u00a0\u0410\u043b\u044c\u0444\u0430\u2011\u0411\u0430\u043d\u043a\u0435. \u0417\u0430\u00a0\u0432\u0440\u0435\u043c\u044f \u0441\u043e\u0431\u0435\u0441\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0439 \u044f \u0437\u0430\u043c\u0435\u0442\u0438\u043b &#8230;<\/div>\n<p><span class=\"embed__caption-host\">habr.com<\/span><\/div>\n<p><\/a><\/p>\n<h2>\u041e\u0447\u0435\u043d\u044c \u043a\u0440\u0430\u0442\u043a\u0438\u0439 \u044d\u043a\u0441\u043a\u0443\u0440\u0441 \u0432 \u0442\u0435\u043c\u0443 Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430<\/h2>\n<p>\u0422\u0440\u0438 \u00ab\u0440\u0430\u043d\u0434\u043e\u043c\u043d\u044b\u0445\u00bb \u0444\u0430\u043a\u0442\u0430 \u043d\u0430 \u0442\u0435\u043c\u0443&#8230;<\/p>\n<p><strong>\u21161. Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u0434\u0432\u0443\u0445\u00a0\u0447\u0430\u0441\u0442\u0435\u0439:<\/strong><\/p>\n<ul>\n<li>\n<p>Frontend\u00a0\u2014 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u0437\u0430\u00a0\u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 <strong>\u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0434\u0435\u0440\u0435\u0432\u0430 <\/strong>(\u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u043a\u043e\u0434\u0430) \u0438 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 <strong>\u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438<\/strong> (\u0441\u043c\u044b\u0441\u043b \u043a\u043e\u0434\u0430)<strong>.<\/strong><\/p>\n<\/li>\n<li>\n<p>Backend\u00a0\u2014 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u0437\u0430\u00a0\u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044e \u043a\u043e\u0434\u0430 \u0434\u043b\u044f\u00a0\u0446\u0435\u043b\u0435\u0432\u043e\u0439 (target) \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u044b: JVM, JS, Native, WASM (\u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u044b\u0439).<\/p>\n<\/li>\n<\/ul>\n<p><strong>\u21162. \u0423\u00a0\u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Kotlin \u0435\u0441\u0442\u044c \u0434\u0432\u0435 \u0444\u0440\u043e\u043d\u0442\u0435\u043d\u0434\u2011\u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438: <\/strong><\/p>\n<ul>\n<li>\n<p>K1\u00a0(FE10-).<\/p>\n<\/li>\n<li>\n<p>K2\u00a0(Fir\u2011).<\/p>\n<\/li>\n<\/ul>\n<p><strong>\u21163. \u0423\u043f\u0440\u043e\u0449\u0451\u043d\u043d\u043e \u0432\u0435\u0441\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u0440\u0430\u0431\u043e\u0442\u044b \u0444\u0440\u043e\u043d\u0442\u0435\u043d\u0434\u0430 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a:<\/strong><\/p>\n<ul>\n<li>\n<p>\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434.<\/p>\n<\/li>\n<li>\n<p>\u0410\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u0435\u0442 \u043a\u043e\u0434 \u043b\u0435\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438, \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438 \u0438 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u0438.<\/p>\n<\/li>\n<li>\n<p>\u041e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u0442 \u0434\u0430\u043d\u043d\u044b\u0435 \u043d\u0430\u00a0\u0431\u044d\u043a\u0435\u043d\u0434 \u0434\u043b\u044f\u00a0\u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u0438 IR (Intermediate representation) \u0438 \u0446\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u043a\u043e\u0434\u0430 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u044b (target).<\/p>\n<\/li>\n<\/ul>\n<p>\u0412\u00a0\u0440\u0430\u043c\u043a\u0430\u0445 \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e <strong>Frontend-\u0447\u0430\u0441\u0442\u044c<\/strong>, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e\u00a0\u0438\u043c\u0435\u043d\u043d\u043e \u0432\u00a0\u044d\u0442\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432\u0441\u044f \u00ab\u043c\u0430\u0433\u0438\u044f\u00bb Kotlin \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432. \u0422\u0430\u043a\u0436\u0435 \u0432\u00a0\u044d\u0442\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c\u0441\u044f \u0440\u0430\u0431\u043e\u0442\u0430 \u0441 <strong>\u0432\u0435\u0440\u0441\u0438\u0435\u0439 K2<\/strong>, \u0432\u00a0\u0441\u0432\u044f\u0437\u0438 \u0441\u00a0\u0442\u0435\u043c, \u0447\u0442\u043e\u00a0K1\u00a0\u0442\u0435\u0440\u044f\u0435\u0442 \u0441\u0432\u043e\u044e \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c. <\/p>\n<p>\u041a\u043e\u043c\u0443 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u043f\u043e\u0433\u043b\u0443\u0431\u0436\u0435 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c\u0441\u044f \u0432\u00a0\u0440\u0430\u0431\u043e\u0442\u0435 Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430, \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u043d\u0430\u0447\u0430\u0442\u044c \u0441 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438:<\/p>\n<p><a href=\"https:\/\/habr.com\/ru\/companies\/kts\/articles\/813085\/\" target=\"_blank\" rel=\"noopener noreferrer nofollow\" class=\"embed_link embed_layout-right\"><\/p>\n<div class=\"embed__thumb\" style=\"background-image: url(&quot;https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/90f\/8d0\/1d9\/90f8d01d9f8258baea6fa8177683e15b.png&quot;);\"><\/div>\n<div class=\"embed__caption\">\n<div class=\"embed__caption-title\"><span>\u041a\u0430\u043a \u043d\u043e\u0432\u044b\u0439 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 K2 \u0443\u0441\u043a\u043e\u0440\u044f\u0435\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u044e Kotlin \u043d\u0430 94%<\/span><\/div>\n<div class=\"embed__caption-description\">\u041f\u0440\u0438\u0432\u0435\u0442, \u043c\u0435\u043d\u044f \u0437\u043e\u0432\u0443\u0442 \u041c\u044f\u043b\u043a\u0438\u043d \u041c\u0430\u043a\u0441\u0438\u043c, \u044f \u0437\u0430\u043d\u0438\u043c\u0430\u044e\u0441\u044c \u043c\u043e\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u043e\u0439 \u0432 KTS. \u041d\u0435 \u0437\u0430 \u0433\u043e\u0440\u0430\u043c\u0438 \u0432\u044b\u043f\u0443\u0441\u043a \u043d\u043e\u0432\u043e\u0439&#8230;<\/div>\n<p><span class=\"embed__caption-host\">habr.com<\/span><\/div>\n<p><\/a><\/p>\n<p>\u041d\u0443 \u0447\u0442\u043e\u00a0\u0436, \u043f\u0440\u0438\u0441\u0442\u0451\u0433\u0438\u0432\u0430\u0439\u0442\u0435\u0441\u044c, \u043d\u0430\u0441 \u0436\u0434\u0451\u0442 \u0443\u0432\u043b\u0435\u043a\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u043f\u0443\u0442\u0435\u0448\u0435\u0441\u0442\u0432\u0438\u0435 \u0432\u00a0\u043d\u0435\u0434\u0440\u044b Kotlin \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432!<\/p>\n<h2>\u041d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e fun: \u0433\u0434\u0435 \u0435\u0449\u0451 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0436\u0434\u0451\u0442 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442?<\/h2>\n<p>\u041e\u0441\u043d\u043e\u0432\u0430 Kotlin K2\u00a0\u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430\u00a0\u2014 \u044d\u0442\u043e FIR\u2011\u0434\u0435\u0440\u0435\u0432\u043e (Frontend Intermediate Representation). <\/p>\n<p>\u0412\u043a\u0440\u0430\u0442\u0446\u0435: FIR\u00a0\u2014 \u044d\u0442\u043e <a href=\"https:\/\/ru.wikipedia.org\/wiki\/%D0%90%D0%B1%D1%81%D1%82%D1%80%D0%B0%D0%BA%D1%82%D0%BD%D0%BE%D0%B5_%D1%81%D0%B8%D0%BD%D1%82%D0%B0%D0%BA%D1%81%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B5_%D0%B4%D0%B5%D1%80%D0%B5%D0%B2%D0%BE\" rel=\"noopener noreferrer nofollow\">AST (\u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0442\u043d\u043e\u0435 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e)<\/a>, \u043e\u0431\u043e\u0433\u0430\u0449\u0451\u043d\u043d\u043e\u0435 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 (\u0441\u043c\u044b\u0441\u043b\u043e\u0432\u043e\u0439) \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0435\u0439. \u041f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u043f\u0440\u043e\u00a0FIR \u2014 \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435 \u043d\u0438\u0436\u0435. <\/p>\n<p><a href=\"https:\/\/habr.com\/ru\/companies\/kts\/articles\/813085\/\" target=\"_blank\" rel=\"noopener noreferrer nofollow\" class=\"embed_link embed_layout-right\"><\/p>\n<div class=\"embed__thumb\" style=\"background-image: url(&quot;https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/90f\/8d0\/1d9\/90f8d01d9f8258baea6fa8177683e15b.png&quot;);\"><\/div>\n<div class=\"embed__caption\">\n<div class=\"embed__caption-title\"><span>\u041a\u0430\u043a \u043d\u043e\u0432\u044b\u0439 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 K2 \u0443\u0441\u043a\u043e\u0440\u044f\u0435\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u044e Kotlin \u043d\u0430 94%<\/span><\/div>\n<div class=\"embed__caption-description\">\u041f\u0440\u0438\u0432\u0435\u0442, \u043c\u0435\u043d\u044f \u0437\u043e\u0432\u0443\u0442 \u041c\u044f\u043b\u043a\u0438\u043d \u041c\u0430\u043a\u0441\u0438\u043c, \u044f \u0437\u0430\u043d\u0438\u043c\u0430\u044e\u0441\u044c \u043c\u043e\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u043e\u0439 \u0432 KTS. \u041d\u0435 \u0437\u0430 \u0433\u043e\u0440\u0430\u043c\u0438 \u0432\u044b\u043f\u0443\u0441\u043a \u043d\u043e\u0432\u043e\u0439&#8230;<\/div>\n<p><span class=\"embed__caption-host\">habr.com<\/span><\/div>\n<p><\/a><\/p>\n<p>\u041e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e\u00a0\u0443\u00a0\u044d\u0442\u043e\u0439 \u043e\u0441\u043d\u043e\u0432\u043e\u043f\u043e\u043b\u0430\u0433\u0430\u044e\u0449\u0435\u0439 \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0435\u0441\u0442\u044c \u0441\u0432\u043e\u044f \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u0430\u044f \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f: <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/72917db99a043379037975574103260ec58bd980\/docs\/fir\/fir-basics.md\" rel=\"noopener noreferrer nofollow\">fir\u2011basics.md<\/a>. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0432\u00a0\u043d\u0435\u0451 \u0437\u0430\u0433\u043b\u044f\u043d\u0435\u043c \u0438 \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0435\u043c \u0447\u0442\u043e\u00a0\u0432\u00a0\u043d\u0435\u0439 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043e <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/72917db99a043379037975574103260ec58bd980\/docs\/fir\/fir-basics.md?plain=1#L25\" rel=\"noopener noreferrer nofollow\">\u043f\u0440\u043e\u00a0\u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b<\/a>. \u0410\u00a0\u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043e \u0442\u0430\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0435 (\u0432 \u043c\u043e\u0451\u043c \u0432\u043e\u043b\u044c\u043d\u043e\u043c \u043f\u0435\u0440\u0435\u0432\u043e\u0434\u0435): <\/p>\n<blockquote>\n<p>\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432\u00a0\u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430\u0445, \u0444\u0443\u043d\u043a\u0446\u0438\u044f\u0445 \u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430\u0445 \u043a\u043b\u0430\u0441\u0441\u043e\u0432<\/p>\n<\/blockquote>\n<figure class=\"\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/46a\/564\/948\/46a56494866db542f5e29ab1a49d0d9b.png\" width=\"471\" height=\"353\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/46a\/564\/948\/46a56494866db542f5e29ab1a49d0d9b.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/46a\/564\/948\/46a56494866db542f5e29ab1a49d0d9b.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<p>\u0427\u0442\u043e\u043e\u043e? \u0414\u043b\u044f\u00a0\u043c\u0435\u043d\u044f \u044d\u0442\u043e\u00a0\u0431\u044b\u043b\u043e \u0443\u0434\u0438\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e\u00a0\u0440\u0430\u043d\u0435\u0435 \u044f \u0432\u0438\u0434\u0435\u043b \u0438\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0432\u043d\u0443\u0442\u0440\u0438 \u0442\u0435\u043b\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0439. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c!<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/776\/466\/afa\/776466afa1c6a6dace68542525a04380.png\" width=\"524\" height=\"362\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/776\/466\/afa\/776466afa1c6a6dace68542525a04380.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/776\/466\/afa\/776466afa1c6a6dace68542525a04380.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<p>\u0412\u00a0\u0434\u043e\u043a\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043e, \u0447\u0442\u043e\u00a0\u0434\u043b\u044f\u00a0\u0441\u0432\u043e\u0439\u0441\u0442\u0432 \u0434\u043e\u043b\u0436\u043d\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c, \u043d\u043e\u00a0\u043d\u0430\u00a0\u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u043e\u0448\u0438\u0431\u043a\u0443. <\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/48b\/aa7\/3ea\/48baa73ea529ea535453402e075e7df0.png\" width=\"979\" height=\"1024\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/48b\/aa7\/3ea\/48baa73ea529ea535453402e075e7df0.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/48b\/aa7\/3ea\/48baa73ea529ea535453402e075e7df0.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435&#8230;<\/p>\n<h3>\u0417\u0430\u0433\u043b\u044f\u043d\u0435\u043c \u0432\u00a0\u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0438 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u0441\u00a0\u0447\u0435\u043c \u0441\u0432\u044f\u0437\u0430\u043d\u0430 \u044d\u0442\u0430 \u043e\u0448\u0438\u0431\u043a\u0430<\/h3>\n<p>\u0412\u00a0Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0435 \u0437\u0430\u00a0\u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0432\u0430\u043b\u0438\u0434\u043d\u043e\u0441\u0442\u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u043a\u043b\u0430\u0441\u0441 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L40\" rel=\"noopener noreferrer nofollow\">FirContractChecker<\/a>. \u0423\u00a0\u043d\u0435\u0433\u043e \u0435\u0441\u0442\u044c 1\u00a0\u043f\u0443\u0431\u043b\u0438\u0447\u043d\u044b\u0439 \u043f\u0435\u0440\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u044b\u0439 \u043c\u0435\u0442\u043e\u0434 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L48\" rel=\"noopener noreferrer nofollow\">check(FirFunction)<\/a>, \u0433\u0434\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirFunction.kt#L29\" rel=\"noopener noreferrer nofollow\">FirFunction<\/a>\u00a0\u2014 \u044d\u0442\u043e \u043d\u043e\u0434\u0430 \u0432\u00a0FIR\u2011\u0434\u0435\u0440\u0435\u0432\u0435, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044e. <\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/b2f\/e48\/36a\/b2fe4836a4291ac5753788ec40cdc503.png\" width=\"1552\" height=\"748\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/b2f\/e48\/36a\/b2fe4836a4291ac5753788ec40cdc503.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/b2f\/e48\/36a\/b2fe4836a4291ac5753788ec40cdc503.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<p>\u041a\u0430\u043a\u00a0\u043c\u044b \u0432\u0438\u0434\u0438\u043c, \u0432 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L49\" rel=\"noopener noreferrer nofollow\">\u043f\u0435\u0440\u0432\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0435<\/a> \u043c\u0435\u0442\u043e\u0434\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L48\" rel=\"noopener noreferrer nofollow\">check(FirFunction)<\/a> \u043e\u0442\u0441\u0435\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u043b\u044e\u0431\u044b\u0435 \u00ab\u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0438\u00bb, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435\u00a0\u0440\u0435\u0430\u043b\u0438\u0437\u0443\u044e\u0442 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirContractDescriptionOwner.kt#L21\" rel=\"noopener noreferrer nofollow\">FirContractDescriptionOwner<\/a>.<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/8f0\/c26\/0ee\/8f0c260eed0b9b033a9b40170d73a314.png\" width=\"1890\" height=\"300\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/8f0\/c26\/0ee\/8f0c260eed0b9b033a9b40170d73a314.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/8f0\/c26\/0ee\/8f0c260eed0b9b033a9b40170d73a314.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<p>\u0412\u00a0\u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442\u0441\u044f \u043d\u0443\u043b\u0430\u0431\u0435\u043b\u044c\u043d\u043e\u0435 \u043f\u043e\u043b\u0435 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirContractDescriptionOwner.kt#L23\" rel=\"noopener noreferrer nofollow\">contractDescription<\/a> \u0442\u0438\u043f\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/contracts\/FirContractDescription.kt#L20\" rel=\"noopener noreferrer nofollow\">FirContractDescription<\/a>, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u0437\u0430\u00a0\u043f\u043e\u043b\u043d\u043e\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430. \u041d\u0435\u00a0\u0443\u00a0\u043a\u0430\u0436\u0434\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442, \u043d\u043e\u00a0\u0435\u0441\u043b\u0438 \u043e\u043d \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d, \u0442\u043e \u044d\u0442\u043e \u043f\u043e\u043b\u0435 \u0431\u0443\u0434\u0435\u0442 \u0437\u0430\u043f\u043e\u043b\u043d\u0435\u043d\u043e. <\/p>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0443\u00a0\u043a\u0430\u043a\u0438\u0445 \u00ab\u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0435\u0439\u00bb \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirContractDescriptionOwner.kt#L21\" rel=\"noopener noreferrer nofollow\">FirContractDescriptionOwner<\/a>, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043d\u044f\u0442\u044c \u0433\u0434\u0435 \u043d\u0430\u00a0\u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435 \u043d\u0430\u00a0\u0443\u0440\u043e\u0432\u043d\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 \u0435\u0441\u0442\u044c \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432: <\/p>\n<ul>\n<li>\n<p><a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirSimpleFunction.kt#L29\" rel=\"noopener noreferrer nofollow\">FirSimpleFunction<\/a>\u00a0\u2014 \u043e\u0431\u044b\u0447\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f.<\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirConstructor.kt#L29\" rel=\"noopener noreferrer nofollow\">FirConstructor<\/a>\u00a0\u2014 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440.<\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirAnonymousFunction.kt#L30\" rel=\"noopener noreferrer nofollow\">FirAnonymousFunction<\/a>\u00a0\u2014 \u0430\u043d\u043e\u043d\u0438\u043c\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f.<\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirPropertyAccessor.kt#L29\" rel=\"noopener noreferrer nofollow\">FirPropertyAccessor<\/a>\u00a0\u2014 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e \u043a\u043b\u0430\u0441\u0441\u0430.<\/p>\n<\/li>\n<\/ul>\n<p><strong>\u0412\u00a0\u043e\u0447\u0435\u0440\u0435\u0434\u043d\u043e\u0439 \u0440\u0430\u0437 \u0443\u0431\u0435\u0434\u0438\u043b\u0438\u0441\u044c, \u0447\u0442\u043e\u00a0\u043d\u0430\u00a0\u0443\u0440\u043e\u0432\u043d\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u043d\u0435\u00a0\u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0430\u00a0\u0443\u0440\u043e\u0432\u043d\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0439.<\/strong> <\/p>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u0442\u044c\u0441\u044f \u0434\u0430\u043b\u044c\u0448\u0435&#8230;.<\/p>\n<h3>\u0413\u0434\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0442\u043e \u0441\u0430\u043c\u043e\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043d\u0430\u00a0\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u0432\u043d\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0439?<\/h3>\n<p>\u0412\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a\u00a0\u043c\u0435\u0442\u043e\u0434\u0443 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L48\" rel=\"noopener noreferrer nofollow\">check(FirFunction)<\/a> \u0438 \u043e\u0431\u0440\u0430\u0442\u0438\u043c \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e\u00a0\u043d\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L50\" rel=\"noopener noreferrer nofollow\">\u0432\u0442\u043e\u0440\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0435<\/a> \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0442\u043e \u0441\u0430\u043c\u043e\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430 <code>contractDescription<\/code>, \u0430\u00a0\u0435\u0441\u043b\u0438 \u0435\u0433\u043e \u043d\u0435\u0442 (\u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f <code>null<\/code>), \u0442\u043e \u0432\u044b\u0445\u043e\u0434\u0438\u043c \u0438\u0437\u00a0\u0444\u0443\u043d\u043a\u0446\u0438\u0438. <\/p>\n<p><strong>\u0412\u0435\u0434\u044c \u0437\u0430\u0447\u0435\u043c \u043d\u0430\u043c \u0430\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0432\u0430\u043b\u0438\u0434\u043d\u043e\u0441\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430, \u0435\u0441\u043b\u0438 \u0435\u0433\u043e \u043d\u0435\u00a0\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442, \u0442\u0430\u043a \u0432\u0435\u0434\u044c?<\/strong><\/p>\n<p>\u0414\u0430\u043b\u0435\u0435 \u0432\u00a0\u0444\u0443\u043d\u043a\u0446\u0438\u0438 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L48\" rel=\"noopener noreferrer nofollow\">check(FirFunction)<\/a> \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043c\u0435\u0442\u043e\u0434 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L139\" rel=\"noopener noreferrer nofollow\">`checkContractNotAllowed(FirFunction, FirContractDescription): Boolean`<\/a>, \u0441\u00a0\u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430\u043c\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043c\u044b \u0443\u0436\u0435 \u0437\u043d\u0430\u043a\u043e\u043c\u044b. \u0417\u0430\u0433\u043b\u044f\u043d\u0435\u043c \u0432\u00a0\u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0438 \u0443\u0432\u0438\u0434\u0438\u043c, \u0447\u0442\u043e\u00a0\u0432\u00a0\u0431\u043b\u043e\u043a\u0435 <code>when<\/code> \u043f\u0435\u0440\u0432\u044b\u043c \u0436\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0435\u043c \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f\u00a0\u043b\u0438 \u043d\u0430\u0448\u0430 \u00ab\u0441\u0443\u0449\u043d\u043e\u0441\u0442\u044c\u00bb \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e\u043c. <\/p>\n<ul>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0442\u0430\u043a\u043e\u0432\u044b\u043c, \u0442\u043e \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0432\u043a\u043b\u044e\u0447\u0451\u043d\u00a0\u043b\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/543420\/\" rel=\"noopener noreferrer nofollow\">Feature Flag<\/a> \u043f\u043e\u0434\u00a0\u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0435\u043c <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/util\/src\/org\/jetbrains\/kotlin\/config\/LanguageVersionSettings.kt#L432\" rel=\"noopener noreferrer nofollow\">AllowContractsOnPropertyAccessors<\/a>. <\/p>\n<\/li>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u0432\u044b\u043a\u043b\u044e\u0447\u0435\u043d\u00a0\u2014 \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0442\u0443 \u0441\u0430\u043c\u0443\u044e \u043e\u0448\u0438\u0431\u043a\u0443: \u00ab<strong>Contracts are only allowed for functions<\/strong>.\u00bb. <\/p>\n<\/li>\n<\/ul>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/16d\/a6b\/132\/16da6b13229c0ecb0f5ae261a6c9a591.png\" width=\"2026\" height=\"722\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/16d\/a6b\/132\/16da6b13229c0ecb0f5ae261a6c9a591.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/16d\/a6b\/132\/16da6b13229c0ecb0f5ae261a6c9a591.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<p>\u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043f\u0440\u0438\u00a0\u043a\u0430\u043a\u0438\u0445 \u0443\u0441\u043b\u043e\u0432\u0438\u044f\u0445 \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442\u0441\u044f Feature Flag <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/util\/src\/org\/jetbrains\/kotlin\/config\/LanguageVersionSettings.kt#L432\" rel=\"noopener noreferrer nofollow\">AllowContractsOnPropertyAccessors<\/a>. <\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/422\/de6\/b8e\/422de6b8ee96e6258eac3ecd64e5219c.png\" alt=\"\u041a\u043b\u0430\u0441\u0441, \u0432\u00a0\u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043b\u0435\u0436\u0430\u0442 Feature Flag'\u0438\" title=\"\u041a\u043b\u0430\u0441\u0441, \u0432\u00a0\u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043b\u0435\u0436\u0430\u0442 Feature Flag'\u0438\" width=\"1876\" height=\"500\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/422\/de6\/b8e\/422de6b8ee96e6258eac3ecd64e5219c.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/422\/de6\/b8e\/422de6b8ee96e6258eac3ecd64e5219c.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041a\u043b\u0430\u0441\u0441, \u0432\u00a0\u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043b\u0435\u0436\u0430\u0442 Feature Flag&#8217;\u0438<\/figcaption><\/div>\n<\/figure>\n<p>\u0412\u00a0\u044d\u0442\u043e\u043c Feature Flag&#8217;\u0435 \u0435\u0441\u0442\u044c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f \u043a\u0430\u043a\u00a0\u043e\u00a0\u0442\u043e\u043c, \u0441\u00a0\u043a\u0430\u043a\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438 \u043e\u0436\u0438\u0434\u0430\u0435\u0442\u0441\u044f \u0444\u0438\u0447\u0430 (\u0441 \u0432\u0435\u0440\u0441\u0438\u0438 Kotlin 2.3), \u0442\u0430\u043a \u0438 \u0442\u0438\u043a\u0435\u0442 <a href=\"https:\/\/youtrack.jetbrains.com\/issue\/KT-27090\/Support-contracts-in-getter-and-setter-for-top-level-extension-properties\" rel=\"noopener noreferrer nofollow\">KT-27090<\/a> \u0432\u00a0\u0440\u0430\u043c\u043a\u0430\u0445 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442\u0441\u044f \u0434\u0430\u043d\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c. <\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/37b\/2be\/579\/37b2be579754610e03e444741f74b6c2.png\" alt=\"\u041a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0435 Feature Flag'\u0438\" title=\"\u041a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0435 Feature Flag'\u0438\" width=\"1146\" height=\"170\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/37b\/2be\/579\/37b2be579754610e03e444741f74b6c2.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/37b\/2be\/579\/37b2be579754610e03e444741f74b6c2.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0435 Feature Flag&#8217;\u0438<\/figcaption><\/div>\n<\/figure>\n<p>\u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e\u00a0\u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u043e\u0447\u043d\u043e \u0441\u00a0\u0432\u0435\u0440\u0441\u0438\u0438 Kotlin 2.3, \u0435\u0441\u043b\u0438 \u0440\u0435\u043b\u0438\u0437 \u0444\u0438\u0447\u0438 \u043d\u0435\u00a0\u0441\u0434\u0432\u0438\u043d\u0435\u0442\u0441\u044f, \u043c\u044b \u043d\u0430\u043a\u043e\u043d\u0435\u0446\u2011\u0442\u043e \u0441\u043c\u043e\u0436\u0435\u043c \u043f\u043e\u0442\u0440\u043e\u0433\u0430\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432\u00a0\u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430\u0445. <\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/22b\/5d9\/3a4\/22b5d93a45949958c3a75df445e99b79.png\" width=\"660\" height=\"360\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/22b\/5d9\/3a4\/22b5d93a45949958c3a75df445e99b79.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/22b\/5d9\/3a4\/22b5d93a45949958c3a75df445e99b79.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<p>\u0412\u00a0\u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0431\u043e\u043d\u0443\u0441\u0430 \u043c\u044b \u0442\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u0434\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u0431\u0443\u0434\u0443\u0449\u0438\u0435 \u0444\u0438\u0447\u0438 Kotlin&#8217;\u0430 \u0447\u0435\u0440\u0435\u0437 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/util\/src\/org\/jetbrains\/kotlin\/config\/LanguageVersionSettings.kt#L432\" rel=\"noopener noreferrer nofollow\">LanguageVersionSettings<\/a>, \u0432\u00a0\u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043b\u0435\u0436\u0430\u0442 Feature Flag&#8217;\u044b \u0434\u043b\u044f\u00a0\u0431\u0443\u0434\u0443\u0449\u0438\u0445 \u0444\u0438\u0447!<\/p>\n<h2>\u041d\u043e\u0432\u044b\u0439 Contracts API<\/h2>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0432\u0437\u0433\u043b\u044f\u043d\u0435\u043c \u043d\u0430\u00a0\u043e\u0434\u043d\u0443 \u0435\u0449\u0451 \u043d\u0435\u00a0\u0444\u0438\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0443\u044e, \u043d\u043e\u00a0\u0443\u0436\u0435 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u0443\u044e \u0434\u043b\u044f\u00a0\u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u043e\u0432, \u0444\u0438\u0447\u0443 \u0432\u00a0\u043c\u0438\u0440\u0435 Kotlin Contracts\u00a0\u2014 \u043d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 (\u044f \u0435\u0451 \u043e\u0442\u043a\u0440\u044b\u043b \u0447\u0438\u0441\u0442\u043e \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e). \u042d\u0442\u043e\u0442 \u043f\u043e\u0434\u0445\u043e\u0434 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043a\u0443\u0434\u0430 \u043b\u0430\u043a\u043e\u043d\u0438\u0447\u043d\u0435\u0435 \u0438 \u043e\u0440\u0433\u0430\u043d\u0438\u0447\u043d\u0435\u0435 \u0441\u00a0\u0442\u043e\u0447\u043a\u0438 \u0437\u0440\u0435\u043d\u0438\u044f \u0434\u0438\u0437\u0430\u0439\u043d\u0430 \u044f\u0437\u044b\u043a\u0430. <\/p>\n<p>\u041f\u0440\u0438\u043c\u0435\u0447\u0430\u043d\u0438\u0435. \u0415\u0441\u043b\u0438 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u0443\u0437\u043d\u0430\u0442\u044c, \u043a\u0430\u043a\u0438\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u0438 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043a\u0438 \u0435\u0441\u0442\u044c \u0443\u00a0\u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e Contracts API \u0432\u00a0Kotlin, \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u0437\u0430\u0433\u043b\u044f\u043d\u0443\u0442\u044c \u0432\u00a0\u0442\u0438\u043a\u0435\u0442 <a href=\"https:\/\/youtrack.jetbrains.com\/issue\/KT-56127\" rel=\"noopener noreferrer nofollow\">KT-56127<\/a>\u00a0\u2014 \u0442\u0430\u043c \u0441\u043e\u0431\u0440\u0430\u043d\u0430 \u0441\u0430\u043c\u0430\u044f \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u0430\u044f \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f<\/p>\n<p>\u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u043a\u0430\u043a\u00a0\u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043d\u043e\u0432\u044b\u0439 API \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u0432\u00a0Kotlin. <\/p>\n<pre><code class=\"kotlin\">fun checkAndRun(x: Any, block: (x: String) -&gt; Unit): Boolean contract [     callsInPlace(block, AT_MOST_ONCE),     returns(true) implies (x is String) ] {     if (x is String) {         block()         return true     } else {         return false     } }<\/code><\/pre>\n<p>\u0412\u00a0\u043d\u043e\u0432\u043e\u043c API \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0442\u0435\u043f\u0435\u0440\u044c \u0441\u0440\u0430\u0437\u0443 \u043f\u0440\u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0432\u00a0\u0434\u0435\u043a\u043b\u0430\u0440\u0430\u0446\u0438\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438\u00a0\u2014 \u043d\u0435\u00a0\u043d\u0443\u0436\u043d\u043e \u043f\u0440\u044f\u0442\u0430\u0442\u044c \u0435\u0433\u043e \u0432\u043d\u0443\u0442\u0440\u0438 \u0442\u0435\u043b\u0430. \u0415\u0449\u0451 \u043d\u0430\u00a0\u044d\u0442\u0430\u043f\u0435 \u0440\u0430\u0437\u0431\u043e\u0440\u0430 PSI \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0432\u0438\u0434\u0438\u0442, \u0435\u0441\u0442\u044c\u00a0\u043b\u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442, \u0438 \u043d\u0435\u00a0\u0442\u0440\u0430\u0442\u0438\u0442 \u0432\u0440\u0435\u043c\u044f \u043d\u0430\u00a0\u043f\u043e\u0438\u0441\u043a\u0438 \u0432\u043d\u0443\u0442\u0440\u0438 \u0442\u0435\u043b\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0438. \u041f\u043b\u044e\u0441 \u0441\u0442\u0430\u043b\u043e \u0443\u0434\u043e\u0431\u043d\u043e \u044f\u0432\u043d\u043e \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432: \u043f\u043e\u0441\u043b\u0435 <code>contract<\/code> \u043f\u0440\u043e\u0441\u0442\u043e \u043e\u0442\u043a\u0440\u044b\u0432\u0430\u0435\u043c \u043a\u0432\u0430\u0434\u0440\u0430\u0442\u043d\u044b\u0435 \u0441\u043a\u043e\u0431\u043a\u0438, \u043a\u0430\u043a\u00a0\u0432\u00a0\u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u044f\u0445.<\/p>\n<h3>\u041a\u0430\u043a \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c \u043d\u043e\u0432\u044b\u0439 API<\/h3>\n<p>\u0415\u0441\u043b\u0438 \u0432\u044b \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u0442\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432, \u0442\u043e \u0441\u043a\u043e\u0440\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0435 \u043e\u0448\u0438\u0431\u043a\u0443 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438.<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/a05\/e4e\/204\/a05e4e204c18c4c569b2889584df959d.png\" alt=\"\u041d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 V2 \u0434\u043e \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f ContractSyntaxV2\" title=\"\u041d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 V2 \u0434\u043e \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f ContractSyntaxV2\" width=\"1051\" height=\"221\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/a05\/e4e\/204\/a05e4e204c18c4c569b2889584df959d.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/a05\/e4e\/204\/a05e4e204c18c4c569b2889584df959d.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 V2\u00a0\u0434\u043e\u00a0\u0432\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f <code>ContractSyntaxV2<\/code><\/figcaption><\/div>\n<\/figure>\n<p>\u041d\u043e\u0432\u044b\u0439 Contract API \u0441\u0435\u0439\u0447\u0430\u0441 \u0441\u043f\u0440\u044f\u0442\u0430\u043d \u0437\u0430\u00a0Feature Flag&#8217;\u043e\u043c <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/util\/src\/org\/jetbrains\/kotlin\/config\/LanguageVersionSettings.kt#L499C85-L499C94\" rel=\"noopener noreferrer nofollow\">ContractSyntaxV2<\/a>. \u0427\u0442\u043e\u0431\u044b \u0435\u0433\u043e \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c, \u0434\u043e\u0431\u0430\u0432\u044c\u0442\u0435 \u0432\u00a0\u043e\u043f\u0446\u0438\u0438 Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 <code>\"-XXLanguage:+ContractSyntaxV2\"<\/code>, \u0430\u00a0\u0437\u0430\u0442\u0435\u043c \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u0435\u0440\u0435\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0438\u0440\u0443\u0439\u0442\u0435 Gradle.<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/561\/e02\/c53\/561e02c5397a0b60b9fd4094623601f0.png\" alt=\"\u041f\u0440\u0438\u043c\u0435\u0440 Project Gradle \u0444\u0430\u0439\u043b\u0430 \u0441 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u043d\u043e\u0439 \u043e\u043f\u0446\u0438\u0435\u0439 ContractSyntaxV2\" title=\"\u041f\u0440\u0438\u043c\u0435\u0440 Project Gradle \u0444\u0430\u0439\u043b\u0430 \u0441 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u043d\u043e\u0439 \u043e\u043f\u0446\u0438\u0435\u0439 ContractSyntaxV2\" width=\"1414\" height=\"382\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/561\/e02\/c53\/561e02c5397a0b60b9fd4094623601f0.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/561\/e02\/c53\/561e02c5397a0b60b9fd4094623601f0.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041f\u0440\u0438\u043c\u0435\u0440 Project Gradle \u0444\u0430\u0439\u043b\u0430 \u0441 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u043d\u043e\u0439 \u043e\u043f\u0446\u0438\u0435\u0439 <code>ContractSyntaxV2<\/code><\/figcaption><\/div>\n<\/figure>\n<p>\u041f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0433\u043e \u0432\u044b \u0441\u043c\u043e\u0436\u0435\u0442\u0435 \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u0432\u00a0\u0441\u0432\u043e\u0451\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u0435.<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/786\/79d\/796\/78679d796d3acdbed6b6d0653d209a94.png\" alt=\"\u041d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u043f\u043e\u0441\u043b\u0435 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f ContractSyntaxV2\" title=\"\u041d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u043f\u043e\u0441\u043b\u0435 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f ContractSyntaxV2\" width=\"714\" height=\"219\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/786\/79d\/796\/78679d796d3acdbed6b6d0653d209a94.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/786\/79d\/796\/78679d796d3acdbed6b6d0653d209a94.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u043f\u043e\u0441\u043b\u0435 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f <code>ContractSyntaxV2<\/code><\/figcaption><\/div>\n<\/figure>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/04b\/1a7\/99a\/04b1a799af659f2ab30f2b3be7558f67.png\" width=\"720\" height=\"527\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/04b\/1a7\/99a\/04b1a799af659f2ab30f2b3be7558f67.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/04b\/1a7\/99a\/04b1a799af659f2ab30f2b3be7558f67.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/figure>\n<h3>\u041a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u043e\u0432\u044b\u0439 Contracts API \u0438\u0437\u043d\u0443\u0442\u0440\u0438<\/h3>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u043a\u0430\u043a\u00a0\u043f\u043e\u0434\u00a0\u043a\u0430\u043f\u043e\u0442\u043e\u043c Kotlin \u043f\u0430\u0440\u0441\u0438\u0442 \u043d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432. \u0414\u043b\u044f\u00a0\u043d\u0430\u0447\u0430\u043b\u0430 \u043f\u0430\u0440\u0441\u0435\u0440 \u0441\u043a\u0430\u043d\u0438\u0440\u0443\u0435\u0442 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434 \u0438 \u0440\u0430\u0437\u0431\u0438\u0432\u0430\u0435\u0442 \u0435\u0433\u043e \u043d\u0430\u00a0\u043b\u0435\u043a\u0441\u0435\u043c\u044b (<a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/master\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/lexer\/KtTokens.java\" rel=\"noopener noreferrer nofollow\">KtTokens<\/a>). \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440: <\/p>\n<ul>\n<li>\n<p><code>[<\/code><strong><em>\u00a0   <\/em><\/strong>\u2192  <strong><em>\u00a0<\/em><\/strong><code>KtTokens.LBRACKET<\/code><strong><em>\u00a0<\/em><\/strong><\/p>\n<\/li>\n<li>\n<p><code>]<\/code><strong><em>\u00a0   <\/em><\/strong>\u2192  <strong><em>\u00a0<\/em><\/strong><code>KtTokens.RBRACKET<\/code><\/p>\n<\/li>\n<li>\n<p><code>contract<\/code><strong><em>\u00a0   <\/em><\/strong>\u2192  <strong><em>\u00a0<\/em><\/strong><code>KtTokens.CONTRACT_KEYWORD<\/code><\/p>\n<\/li>\n<\/ul>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/4d4\/480\/b54\/4d4480b5416305fd8cb57b8c72129d77.png\" alt=\"\u041f\u0440\u0438\u043c\u0435\u0440 \u0442\u043e\u043a\u0435\u043d\u043e\u0432 \u0438\u0437 KtTokens\" title=\"\u041f\u0440\u0438\u043c\u0435\u0440 \u0442\u043e\u043a\u0435\u043d\u043e\u0432 \u0438\u0437 KtTokens\" width=\"673\" height=\"305\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/4d4\/480\/b54\/4d4480b5416305fd8cb57b8c72129d77.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/4d4\/480\/b54\/4d4480b5416305fd8cb57b8c72129d77.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041f\u0440\u0438\u043c\u0435\u0440 \u0442\u043e\u043a\u0435\u043d\u043e\u0432 \u0438\u0437 KtTokens<\/figcaption><\/div>\n<\/figure>\n<p>\u041e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435: \u0432\u00a0\u043d\u043e\u0432\u043e\u043c API <code>contract<\/code>\u00a0\u2014 \u044d\u0442\u043e \u0443\u0436\u0435 \u0437\u0430\u0440\u0435\u0437\u0435\u0440\u0432\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u0441\u043b\u043e\u0432\u043e, \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0435 \u0432\u00a0\u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0439 \u0442\u043e\u043a\u0435\u043d. \u0412\u00a0\u0441\u0442\u0430\u0440\u043e\u043c API \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f <code>contract { ... }<\/code>\u00a0\u0431\u044b\u043b\u0430 \u043e\u0431\u044b\u0447\u043d\u044b\u043c \u0432\u044b\u0437\u043e\u0432\u043e\u043c \u043c\u0435\u0442\u043e\u0434\u0430, \u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043d\u0430\u00a0\u044d\u0442\u0430\u043f\u0435 \u043b\u0435\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0435\u00a0\u0437\u043d\u0430\u043b, \u0447\u0442\u043e\u00a0\u044d\u0442\u043e \u043a\u0430\u043a\u043e\u0439\u2011\u0442\u043e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u00a0\u2014 \u0434\u043b\u044f\u00a0\u043d\u0435\u0433\u043e \u044d\u0442\u043e\u00a0\u0431\u044b\u043b \u043f\u0440\u043e\u0441\u0442\u043e \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 (\u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0435 \u043c\u0435\u0442\u043e\u0434\u0430) \u0438 \u0444\u0438\u0433\u0443\u0440\u043d\u044b\u0435 \u0441\u043a\u043e\u0431\u043a\u0438.<\/p>\n<p>\u041f\u043e\u0441\u043b\u0435 \u043b\u0435\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442 \u043a\u00a0\u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u043c\u0443, \u0433\u0434\u0435 \u0438\u0437\u00a0\u0441\u043f\u0438\u0441\u043a\u0430 \u043b\u0435\u043a\u0441\u0435\u043c \u0441\u0442\u0440\u043e\u0438\u0442\u0441\u044f \u0434\u0435\u0440\u0435\u0432\u043e \u0442\u043e\u043a\u0435\u043d\u043e\u0432. \u042d\u0442\u043e\u0442 \u044d\u0442\u0430\u043f \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442\u0441\u044f \u0432\u00a0\u043a\u043b\u0430\u0441\u0441\u0435 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L36\" rel=\"noopener noreferrer nofollow\">KotlinParsing<\/a>.<\/p>\n<p>\u041f\u0440\u0438\u00a0\u043f\u0430\u0440\u0441\u0438\u043d\u0433\u0435 \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0438 \u00ab\u0444\u0443\u043d\u043a\u0446\u0438\u044f\u00bb \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043c\u0435\u0442\u043e\u0434 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L1749\" rel=\"noopener noreferrer nofollow\">parseFunction(boolean)<\/a>, \u0432\u043d\u0443\u0442\u0440\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0434\u0432\u0430\u0436\u0434\u044b \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0432\u044b\u0437\u043e\u0432 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L2105\" rel=\"noopener noreferrer nofollow\">parseFunctionContract()<\/a>\u00a0(\u043f\u043e\u0447\u0435\u043c\u0443 \u0442\u0430\u043a, \u043e\u0431\u0441\u0443\u0434\u0438\u043c \u0447\u0443\u0442\u044c \u043f\u043e\u0437\u0436\u0435).<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/424\/fca\/fef\/424fcafef4c49a2b9f4b0cb28346b37d.png\" alt=\"\u0422\u0435\u043b\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 parseFunction(boolean)\" title=\"\u0422\u0435\u043b\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 parseFunction(boolean)\" width=\"1414\" height=\"730\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/424\/fca\/fef\/424fcafef4c49a2b9f4b0cb28346b37d.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/424\/fca\/fef\/424fcafef4c49a2b9f4b0cb28346b37d.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u0422\u0435\u043b\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 parseFunction(boolean)<\/figcaption><\/div>\n<\/figure>\n<p>\u0414\u0430\u043b\u0435\u0435 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L2105\" rel=\"noopener noreferrer nofollow\">parseFunctionContract()<\/a> \u043f\u0435\u0440\u0435\u0434\u0430\u0451\u0442 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u0430\u0440\u0441\u0438\u043d\u0433\u0430 \u0431\u043b\u043e\u043a\u0430 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430, \u0432\u044b\u0437\u044b\u0432\u0430\u044f \u043c\u0435\u0442\u043e\u0434 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinExpressionParsing.java#L1104\" rel=\"noopener noreferrer nofollow\">parseContractDescriptionBlock()<\/a> \u0443\u00a0\u043e\u0431\u044a\u0435\u043a\u0442\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinExpressionParsing.java#L33\" rel=\"noopener noreferrer nofollow\">KotlinExpressionParsing<\/a>.<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/b78\/f62\/451\/b78f6245145cdfa820fd0cabd36afe8f.png\" alt=\"\u041c\u0435\u0442\u043e\u0434 parseFunctionContract \u0438\u0437 \u043a\u043b\u0430\u0441\u0441\u0430 KotlinParsing\" title=\"\u041c\u0435\u0442\u043e\u0434 parseFunctionContract \u0438\u0437 \u043a\u043b\u0430\u0441\u0441\u0430 KotlinParsing\" width=\"1412\" height=\"436\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/b78\/f62\/451\/b78f6245145cdfa820fd0cabd36afe8f.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/b78\/f62\/451\/b78f6245145cdfa820fd0cabd36afe8f.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041c\u0435\u0442\u043e\u0434 parseFunctionContract \u0438\u0437 \u043a\u043b\u0430\u0441\u0441\u0430 KotlinParsing<\/figcaption><\/div>\n<\/figure>\n<p>\u0412\u00a0\u043c\u0435\u0442\u043e\u0434\u0435 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinExpressionParsing.java#L1104\" rel=\"noopener noreferrer nofollow\">parseContractDescriptionBlock()<\/a> \u043f\u0430\u0440\u0441\u0435\u0440 \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u0441\u0434\u0432\u0438\u0433\u0430\u0435\u0442 \u043a\u0443\u0440\u0441\u043e\u0440 \u043d\u0430\u00a0\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d \u0441\u00a0\u043f\u043e\u043c\u043e\u0449\u044c\u044e <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/AbstractKotlinParsing.java#L145\" rel=\"noopener noreferrer nofollow\">advance()<\/a>, \u0430\u00a0\u043f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0433\u043e \u043f\u0440\u0438\u0441\u0442\u0443\u043f\u0430\u0435\u0442 \u043a\u00a0\u0440\u0430\u0437\u0431\u043e\u0440\u0443 \u0441\u043f\u0438\u0441\u043a\u0430 \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430.<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/a93\/7d6\/2e5\/a937d62e575bfab4a9695cd9d5556b7c.png\" alt=\"\u041c\u0435\u0442\u043e\u0434 parseContractDescriptionBlock\" title=\"\u041c\u0435\u0442\u043e\u0434 parseContractDescriptionBlock\" width=\"1252\" height=\"434\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/a93\/7d6\/2e5\/a937d62e575bfab4a9695cd9d5556b7c.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/a93\/7d6\/2e5\/a937d62e575bfab4a9695cd9d5556b7c.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041c\u0435\u0442\u043e\u0434 parseContractDescriptionBlock<\/figcaption><\/div>\n<\/figure>\n<p>\u041a\u0441\u0442\u0430\u0442\u0438, \u0437\u0430\u043c\u0435\u0442\u0438\u043b\u0438, \u0447\u0442\u043e\u00a0\u043c\u044b \u043d\u0438\u0433\u0434\u0435 \u044f\u0432\u043d\u043e \u043d\u0435\u00a0\u043f\u0435\u0440\u0435\u0434\u0430\u0451\u043c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u043e\u00a0\u0442\u0435\u043a\u0443\u0449\u0435\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u0438 \u043f\u0430\u0440\u0441\u0435\u0440\u0430? \u0422\u0435\u043c \u043d\u0435\u00a0\u043c\u0435\u043d\u0435\u0435, \u043f\u0430\u0440\u0441\u0435\u0440 \u0432\u0441\u0435\u0433\u0434\u0430 \u00ab\u0432 \u043a\u0443\u0440\u0441\u0435\u00bb, \u0433\u0434\u0435 \u043e\u043d \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432\u00a0\u043a\u043e\u0434\u0435. \u0412\u0441\u044f \u043c\u0430\u0433\u0438\u044f \u0432\u00a0\u0442\u043e\u043c, \u0447\u0442\u043e\u00a0\u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u043a\u0443\u0440\u0441\u043e\u0440\u0430 \u0445\u0440\u0430\u043d\u0438\u0442\u0441\u044f \u0432\u043d\u0443\u0442\u0440\u0438 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/AbstractKotlinParsing.java#L53\" rel=\"noopener noreferrer nofollow\">myBuilder<\/a>\u00a0\u2014 \u044d\u0442\u043e \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u043a\u043b\u0430\u0441\u0441\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/SemanticWhitespaceAwarePsiBuilder.java#L23\" rel=\"noopener noreferrer nofollow\">SemanticWhitespaceAwarePsiBuilder<\/a>.<\/p>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043a\u0430\u043a\u00a0\u0432\u00a0\u043c\u0435\u0442\u043e\u0434\u0435 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinExpressionParsing.java#L1112\" rel=\"noopener noreferrer nofollow\">parseContractEffectList()<\/a> \u043f\u0430\u0440\u0441\u0438\u0442\u0441\u044f \u0441\u043f\u0438\u0441\u043e\u043a \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432. <\/p>\n<h3>\u041a\u0430\u043a \u043f\u0430\u0440\u0441\u0438\u0442\u0441\u044f \u0441\u043f\u0438\u0441\u043e\u043a \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432<\/h3>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/8f6\/b84\/a7a\/8f6b84a7a242aaa1d036878e1f0b9719.png\" alt=\"\u041c\u0435\u0442\u043e\u0434 parseContractEffectList()\" title=\"\u041c\u0435\u0442\u043e\u0434 parseContractEffectList()\" width=\"1092\" height=\"704\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/8f6\/b84\/a7a\/8f6b84a7a242aaa1d036878e1f0b9719.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/8f6\/b84\/a7a\/8f6b84a7a242aaa1d036878e1f0b9719.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041c\u0435\u0442\u043e\u0434 parseContractEffectList()<\/figcaption><\/div>\n<\/figure>\n<p>\u0424\u0443\u043d\u043a\u0446\u0438\u044f \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u0435\u0442 \u0431\u043b\u043e\u043a \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0438\u0448\u0435\u0442\u0441\u044f \u0432\u00a0\u043a\u0432\u0430\u0434\u0440\u0430\u0442\u043d\u044b\u0445 \u0441\u043a\u043e\u0431\u043a\u0430\u0445 \u043d\u0430\u00a0\u0443\u0437\u043b\u044b PSI \u0434\u0435\u0440\u0435\u0432\u0430.<\/p>\n<h4>\u21161. mark()<\/h4>\n<pre><code class=\"java\">PsiBuilder.Marker block = mark();<\/code><\/pre>\n<ul>\n<li>\n<p>\u0421\u043e\u0437\u0434\u0430\u0451\u0442 \u00ab\u043c\u0430\u0440\u043a\u0435\u0440\u00bb \u043d\u0430\u0447\u0430\u043b\u0430 \u043d\u043e\u0432\u043e\u0433\u043e \u0443\u0437\u043b\u0430 PSI\u2011\u0434\u0435\u0440\u0435\u0432\u0430.<\/p>\n<\/li>\n<li>\n<p>\u041f\u0430\u0440\u0441\u0435\u0440 \u043a\u0430\u043a\u00a0\u0431\u044b \u00ab\u043f\u043e\u043c\u0435\u0447\u0430\u0435\u0442\u00bb, \u0447\u0442\u043e\u00a0\u0441\u0435\u0439\u0447\u0430\u0441 \u043d\u0430\u0447\u043d\u0451\u0442\u0441\u044f \u043d\u043e\u0432\u0430\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430.<\/p>\n<\/li>\n<li>\n<p>\u0412\u0441\u0451, \u0447\u0442\u043e\u00a0\u0431\u0443\u0434\u0435\u0442 \u0441\u043f\u0430\u0440\u0448\u0435\u043d\u043e \u043c\u0435\u0436\u0434\u0443 \u044d\u0442\u0438\u043c <code>mark()<\/code> \u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c <code>done()<\/code>, \u0441\u0442\u0430\u043d\u0435\u0442 \u0443\u0437\u043b\u043e\u043c PSI \u0434\u0435\u0440\u0435\u0432\u0430.<\/p>\n<\/li>\n<\/ul>\n<h4>\u21162. expect(LBRACKET, &#171;Expecting &#8216;[&#8216;&#187;)<\/h4>\n<pre><code class=\"java\">expect(LBRACKET, \"Expecting '['\");<\/code><\/pre>\n<ul>\n<li>\n<p>\u041f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u0441\u0442\u043e\u0438\u0442\u00a0\u043b\u0438 \u0441\u0435\u0439\u0447\u0430\u0441 \u0442\u043e\u043a\u0435\u043d <code>[<\/code>.<\/p>\n<\/li>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u0434\u0430\u00a0\u2014 \u0441\u0434\u0432\u0438\u0433\u0430\u0435\u0442 \u043f\u043e\u0437\u0438\u0446\u0438\u044e \u043a\u0443\u0440\u0441\u043e\u0440\u0430 \u043d\u0430\u00a0\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d.<\/p>\n<\/li>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u043d\u0435\u0442\u00a0\u2014 \u043a\u0438\u0434\u0430\u0435\u0442 \u043e\u0448\u0438\u0431\u043a\u0443 \u0441\u00a0\u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0435\u043c \u00abExpecting &#8216;[&#8216;\u00bb.<\/p>\n<\/li>\n<\/ul>\n<h4>\u21163. parseContractEffects()<\/h4>\n<ul>\n<li>\n<p>\u0420\u0430\u0437\u0431\u0438\u0440\u0430\u0435\u0442 \u0441\u0430\u043c\u0438 \u044d\u0444\u0444\u0435\u043a\u0442\u044b \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430 \u0432\u043d\u0443\u0442\u0440\u0438 \u0431\u043b\u043e\u043a\u0430\u00a0\u2014 \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440,<br \/><code>returns() implies (value != null)<\/code>.<\/p>\n<\/li>\n<li>\n<p><code>returns()<\/code>, \u044d\u0444\u0444\u0435\u043a\u0442 \u0434\u043e <code>implies<\/code>, \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043c\u0435\u0447\u0435\u043d \u043a\u0430\u043a\u00a0\u043e\u0431\u044b\u0447\u043d\u044b\u0439 \u0432\u044b\u0437\u043e\u0432 \u043c\u0435\u0442\u043e\u0434\u0430: <code><strong>CALL_EXPRESSION<\/strong><\/code><\/p>\n<\/li>\n<li>\n<p><code>implies<\/code> \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043c\u0435\u0447\u0435\u043d \u043a\u0430\u043a\u00a0\u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440: <code><strong>OPERATION_EXPRESSION<\/strong><\/code>, \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u043e <code>!=<\/code> \u0438\u043b\u0438 <code>&amp;&amp;<\/code><\/p>\n<\/li>\n<li>\n<p><code>(value != null)<\/code> \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043c\u0435\u0447\u0435\u043d\u0430 \u043a\u0430\u043a\u00a0\u0433\u0440\u0443\u043f\u043f\u0430: <code><strong>PARENTHESIZED<\/strong><\/code>, \u0441\u00a0\u0431\u0438\u043d\u0430\u0440\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0435\u0439: <code>BINARY_EXPRESSION<\/code><\/p>\n<\/li>\n<li>\n<p>\u0412\u0441\u0451 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u043e\u0434\u043d\u043e\u0433\u043e \u044d\u0444\u0444\u0435\u043a\u0442\u0430 \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043c\u0435\u0447\u0435\u043d\u043e \u043a\u0430\u043a <code><strong>CONTRACT_EFFECT<\/strong><\/code> c \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u043e\u0439 <code><strong>BINARY_EXPRESION<\/strong><\/code><\/p>\n<\/li>\n<\/ul>\n<p>\u0412\u00a0\u0438\u0442\u043e\u0433\u0435, \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 <code>returns() implies (value != null)<\/code> \u0432\u00a0\u0434\u0435\u0440\u0435\u0432\u0435 PSI \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u0442\u0430\u043a: <\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/60b\/ef4\/0e1\/60bef40e1a0410c38a44d3e6b339f825.png\" alt=\"\u041d\u043e\u0434\u0430 \u044d\u0444\u0444\u0435\u043a\u0442\u0430 PSI \u0434\u0435\u0440\u0435\u0432\u0430\" title=\"\u041d\u043e\u0434\u0430 \u044d\u0444\u0444\u0435\u043a\u0442\u0430 PSI \u0434\u0435\u0440\u0435\u0432\u0430\" width=\"1080\" height=\"859\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/60b\/ef4\/0e1\/60bef40e1a0410c38a44d3e6b339f825.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/60b\/ef4\/0e1\/60bef40e1a0410c38a44d3e6b339f825.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041d\u043e\u0434\u0430 \u044d\u0444\u0444\u0435\u043a\u0442\u0430 PSI \u0434\u0435\u0440\u0435\u0432\u0430<\/figcaption><\/div>\n<\/figure>\n<h4>\u21164. block.done(CONTRACT_EFFECT_LIST)<\/h4>\n<pre><code class=\"java\">block.done(CONTRACT_EFFECT_LIST);<\/code><\/pre>\n<ul>\n<li>\n<p>\u0417\u0430\u043a\u0440\u044b\u0432\u0430\u0435\u0442 \u043c\u0430\u0440\u043a\u0435\u0440, \u0441\u043e\u0437\u0434\u0430\u043d\u043d\u044b\u0439 \u043d\u0430\u00a0\u043f\u0435\u0440\u0432\u043e\u043c \u0448\u0430\u0433\u0435, \u0438 \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0435\u0442:<br \/> \u00ab\u0412\u0441\u0451, \u0447\u0442\u043e\u00a0\u043c\u044b \u0442\u043e\u043b\u044c\u043a\u043e \u0447\u0442\u043e\u00a0\u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043b\u0438 \u043c\u0435\u0436\u0434\u0443 \u0441\u043a\u043e\u0431\u043a\u0430\u043c\u0438\u00a0\u2014 \u044d\u0442\u043e \u0443\u0437\u0435\u043b \u0442\u0438\u043f\u0430 <code>CONTRACT_EFFECT_LIST.<\/code>\u00bb<\/p>\n<\/li>\n<li>\n<p>\u042d\u0442\u043e\u0442 \u0443\u0437\u0435\u043b \u043f\u043e\u044f\u0432\u0438\u0442\u0441\u044f \u0432\u00a0PSI\u2011\u0434\u0435\u0440\u0435\u0432\u0435 \u0438 \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u0432\u0435\u0441\u044c \u0441\u043f\u0438\u0441\u043e\u043a \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430.<\/p>\n<\/li>\n<\/ul>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/474\/489\/7e5\/4744897e50186b8051082a1f0f83d93c.png\" alt=\"\u041d\u043e\u0434\u0430 \u0441\u043f\u0438\u0441\u043a\u0430 \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432 PSI \u0434\u0435\u0440\u0435\u0432\u0430\" title=\"\u041d\u043e\u0434\u0430 \u0441\u043f\u0438\u0441\u043a\u0430 \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432 PSI \u0434\u0435\u0440\u0435\u0432\u0430\" width=\"1080\" height=\"1049\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/474\/489\/7e5\/4744897e50186b8051082a1f0f83d93c.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/474\/489\/7e5\/4744897e50186b8051082a1f0f83d93c.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041d\u043e\u0434\u0430 \u0441\u043f\u0438\u0441\u043a\u0430 \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432 PSI \u0434\u0435\u0440\u0435\u0432\u0430<\/figcaption><\/div>\n<\/figure>\n<p>\u0412\u00a0\u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u044d\u0442\u0438\u0445 \u044d\u0442\u0430\u043f\u043e\u0432 \u0443\u00a0\u043d\u0430\u0441 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f PSI\u2011\u0434\u0435\u0440\u0435\u0432\u043e, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0437\u0430\u0442\u0435\u043c \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u0443\u0435\u0442\u0441\u044f \u0432 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/contracts\/builder\/FirRawContractDescriptionBuilder.kt\" rel=\"noopener noreferrer nofollow\">RawFIR<\/a>, \u043e\u0431\u043e\u0433\u0430\u0449\u0430\u0435\u0442\u0441\u044f \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u043e\u0439 \u0438 \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f \u0432 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/contracts\/builder\/FirResolvedContractDescriptionBuilder.kt#L11\" rel=\"noopener noreferrer nofollow\">ResolvedFIR<\/a>.<\/p>\n<div class=\"floating-image\">\n<figure class=\"float\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/21d\/6ff\/dfd\/21d6ffdfd46bed4e82dae381dd1ddb34.png\" alt=\"\u0418\u043a\u043e\u043d\u043a\u0430 \u043f\u043b\u0430\u0433\u0438\u043d\u0430 PsiViewer\" title=\"\u0418\u043a\u043e\u043d\u043a\u0430 \u043f\u043b\u0430\u0433\u0438\u043d\u0430 PsiViewer\" width=\"158\" height=\"163\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/21d\/6ff\/dfd\/21d6ffdfd46bed4e82dae381dd1ddb34.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/21d\/6ff\/dfd\/21d6ffdfd46bed4e82dae381dd1ddb34.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u0418\u043a\u043e\u043d\u043a\u0430 \u043f\u043b\u0430\u0433\u0438\u043d\u0430 PsiViewer<\/figcaption><\/div>\n<\/figure>\n<p>\u0415\u0441\u043b\u0438 \u0445\u043e\u0442\u0438\u0442\u0435 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c, \u043a\u0430\u043a\u043e\u0435 \u0438\u043c\u0435\u043d\u043d\u043e PSI\u2011\u0434\u0435\u0440\u0435\u0432\u043e \u0441\u0442\u0440\u043e\u0438\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440, \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0439\u0442\u0435 \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u044c \u043f\u043b\u0430\u0433\u0438\u043d <a href=\"https:\/\/plugins.jetbrains.com\/plugin\/227-psiviewer\" rel=\"noopener noreferrer nofollow\">PsiViewer<\/a> \u0434\u043b\u044f\u00a0IntelliJ IDEA\u00a0\u2014 \u043f\u043e\u0441\u043b\u0435 \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0438 \u0435\u0433\u043e \u0438\u043a\u043e\u043d\u043a\u0430 \u043f\u043e\u044f\u0432\u0438\u0442\u0441\u044f \u0432\u00a0\u043f\u0440\u0430\u0432\u043e\u0439 \u043f\u0430\u043d\u0435\u043b\u0438 IDE.<\/p>\n<p>\u041f\u0440\u043e\u0441\u0442\u043e \u043a\u043b\u0438\u043a\u043d\u0438\u0442\u0435 \u043f\u043e\u00a0\u0438\u043a\u043e\u043d\u043a\u0435 PsiViewer\u00a0\u2014 \u0438 \u043f\u0435\u0440\u0435\u0434 \u0432\u0430\u043c\u0438 \u043e\u0442\u043a\u0440\u043e\u0435\u0442\u0441\u044f \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 PSI\u2011\u0434\u0435\u0440\u0435\u0432\u043e \u0434\u043b\u044f\u00a0\u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0444\u0430\u0439\u043b\u0430.<\/p>\n<\/div>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/ec9\/d68\/fbe\/ec9d68fbeaffd9554075d6d641ebf27b.png\" alt=\"\u0421\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 PSI \u0434\u0435\u0440\u0435\u0432\u043e\" title=\"\u0421\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 PSI \u0434\u0435\u0440\u0435\u0432\u043e\" width=\"749\" height=\"1337\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/ec9\/d68\/fbe\/ec9d68fbeaffd9554075d6d641ebf27b.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/ec9\/d68\/fbe\/ec9d68fbeaffd9554075d6d641ebf27b.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u0421\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 PSI \u0434\u0435\u0440\u0435\u0432\u043e<\/figcaption><\/div>\n<\/figure>\n<h3>\u0414\u0432\u043e\u0439\u043d\u043e\u0439 \u0432\u044b\u0437\u043e\u0432 \u043f\u0430\u0440\u0441\u0438\u043d\u0433\u0430 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432<\/h3>\n<p>\u041f\u043e\u043c\u043d\u0438\u0442\u0435 \u0432\u00a0\u0444\u0443\u043d\u043a\u0446\u0438\u0438 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L1749\" rel=\"noopener noreferrer nofollow\">parseFunction(boolean)<\/a> \u0434\u0432\u0430\u0436\u0434\u044b \u0432\u044b\u0437\u044b\u0432\u0430\u043b\u0441\u044f \u043c\u0435\u0442\u043e\u0434 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L2105\" rel=\"noopener noreferrer nofollow\">parseFunctionContract()<\/a>: \u0434\u043e\u00a0\u0438 \u043f\u043e\u0441\u043b\u0435 \u0432\u044b\u0437\u043e\u0432\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L2046\" rel=\"noopener noreferrer nofollow\">parseTypeConstraintsGuarded(boolean)<\/a>? <\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/bbf\/20c\/c9c\/bbf20cc9c8be3c3dfde20c5a3e2bddfb.png\" alt=\"\u0422\u0435\u043b\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 parseFunction(boolean)\" title=\"\u0422\u0435\u043b\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 parseFunction(boolean)\" width=\"1414\" height=\"730\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/bbf\/20c\/c9c\/bbf20cc9c8be3c3dfde20c5a3e2bddfb.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/bbf\/20c\/c9c\/bbf20cc9c8be3c3dfde20c5a3e2bddfb.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u0422\u0435\u043b\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 parseFunction(boolean)<\/figcaption><\/div>\n<\/figure>\n<p>\u0412\u044b\u0437\u043e\u0432 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L2046\" rel=\"noopener noreferrer nofollow\">parseTypeConstraintsGuarded(boolean)<\/a> \u043a\u0430\u043a\u00a0\u0440\u0430\u0437 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u0437\u0430\u00a0\u043f\u0430\u0440\u0441\u0438\u043d\u0433 <a href=\"https:\/\/kotlinlang.org\/docs\/generics.html\" rel=\"noopener noreferrer nofollow\">\u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439 generic \u0442\u0438\u043f\u043e\u0432<\/a> (<code>where<\/code>). \u042d\u0442\u043e \u0437\u043d\u0430\u0447\u0438\u0442, \u0447\u0442\u043e\u00a0\u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043c\u043e\u0436\u043d\u043e \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0442\u044c \u043a\u0430\u043a\u00a0\u0434\u043e, \u0442\u0430\u043a \u0438 \u043f\u043e\u0441\u043b\u0435 \u0431\u043b\u043e\u043a\u0430 <code>where<\/code> \u0432\u00a0\u0444\u0443\u043d\u043a\u0446\u0438\u0438\u00a0\u2014 \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u0433\u0438\u0431\u043a\u043e \u0438 \u0443\u0434\u043e\u0431\u043d\u043e.<\/p>\n<figure class=\"\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/9c2\/ba2\/734\/9c2ba273490df56b157bd8710c77a129.png\" alt=\"\u041a\u043e\u043c\u0430\u043d\u0434\u0430 Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 \u0434\u0443\u043c\u0430\u0435\u0442 \u0433\u0434\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u0443\u043a\u0430\u0437\u0430\u0442\u044c Kotlin \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b\" title=\"\u041a\u043e\u043c\u0430\u043d\u0434\u0430 Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 \u0434\u0443\u043c\u0430\u0435\u0442 \u0433\u0434\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u0443\u043a\u0430\u0437\u0430\u0442\u044c Kotlin \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b\" width=\"500\" height=\"962\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/9c2\/ba2\/734\/9c2ba273490df56b157bd8710c77a129.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/9c2\/ba2\/734\/9c2ba273490df56b157bd8710c77a129.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041a\u043e\u043c\u0430\u043d\u0434\u0430 Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 \u0434\u0443\u043c\u0430\u0435\u0442 \u0433\u0434\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u0443\u043a\u0430\u0437\u0430\u0442\u044c Kotlin \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b<\/figcaption><\/div>\n<\/figure>\n<p>\u041c\u043e\u0436\u043d\u043e \u043e\u0431\u044a\u044f\u0432\u0438\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0434\u043e\u00a0\u0431\u043b\u043e\u043a\u0430 <code>where<\/code> \u2705<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/06c\/b03\/fa8\/06cb03fa875402b602ce7b9f518d2ebd.png\" alt=\"\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0434\u043e \u0431\u043b\u043e\u043a\u0430 where\" title=\"\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0434\u043e \u0431\u043b\u043e\u043a\u0430 where\" width=\"646\" height=\"222\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/06c\/b03\/fa8\/06cb03fa875402b602ce7b9f518d2ebd.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/06c\/b03\/fa8\/06cb03fa875402b602ce7b9f518d2ebd.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0434\u043e \u0431\u043b\u043e\u043a\u0430 <code>where<\/code><\/figcaption><\/div>\n<\/figure>\n<p>\u041c\u043e\u0436\u043d\u043e \u043e\u0431\u044a\u044f\u0432\u0438\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043f\u043e\u0441\u043b\u0435 \u0431\u043b\u043e\u043a\u0430 <code>where<\/code> \u2705<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/85f\/fdd\/bf8\/85ffddbf839ef641d5616c8138c7e020.png\" alt=\"\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043f\u043e\u0441\u043b\u0435 \u0431\u043b\u043e\u043a\u0430 where\" title=\"\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043f\u043e\u0441\u043b\u0435 \u0431\u043b\u043e\u043a\u0430 where\" width=\"671\" height=\"220\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/85f\/fdd\/bf8\/85ffddbf839ef641d5616c8138c7e020.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/85f\/fdd\/bf8\/85ffddbf839ef641d5616c8138c7e020.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043f\u043e\u0441\u043b\u0435 \u0431\u043b\u043e\u043a\u0430 <code>where<\/code><\/figcaption><\/div>\n<\/figure>\n<p>\u041d\u043e\u00a0\u043d\u0435\u043b\u044c\u0437\u044f \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u0438 \u0434\u043e, \u0438 \u043f\u043e\u0441\u043b\u0435 <code>where<\/code> \u274c<\/p>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/cc5\/e76\/097\/cc5e7609745ce32241a4631806762944.png\" alt=\"\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0438 \u0434\u043e, \u0438 \u043f\u043e\u0441\u043b\u0435 \u0431\u043b\u043e\u043a\u0430 where\" title=\"\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0438 \u0434\u043e, \u0438 \u043f\u043e\u0441\u043b\u0435 \u0431\u043b\u043e\u043a\u0430 where\" width=\"646\" height=\"288\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/cc5\/e76\/097\/cc5e7609745ce32241a4631806762944.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/cc5\/e76\/097\/cc5e7609745ce32241a4631806762944.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0438 \u0434\u043e, \u0438 \u043f\u043e\u0441\u043b\u0435 \u0431\u043b\u043e\u043a\u0430 <code>where<\/code><\/figcaption><\/div>\n<\/figure>\n<h2>\u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/h2>\n<p>\u0421\u043f\u0430\u0441\u0438\u0431\u043e, \u0447\u0442\u043e\u00a0\u0434\u043e\u0447\u0438\u0442\u0430\u043b\u0438 \u0434\u043e\u00a0\u043a\u043e\u043d\u0446\u0430! \u041d\u0430\u0434\u0435\u044e\u0441\u044c, \u043f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u043e\u0441\u0442\u0438 Kotlin Contracts \u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 \u0432\u00a0\u0446\u0435\u043b\u043e\u043c \u0441\u0442\u0430\u043b\u0438 \u0434\u043b\u044f\u00a0\u0432\u0430\u0441 \u0447\u0443\u0442\u044c \u043f\u043e\u043d\u044f\u0442\u043d\u0435\u0435 \u0438 \u0431\u043b\u0438\u0436\u0435. \u041a\u0430\u043a\u00a0\u0432\u0438\u0434\u0438\u0442\u0435, \u043d\u0435\u00a0\u0442\u0430\u043a \u0443\u0436 \u0441\u0442\u0440\u0430\u0448\u043d\u043e \u0437\u0430\u0433\u043b\u044f\u0434\u044b\u0432\u0430\u0442\u044c \u00ab\u043f\u043e\u0434 \u043a\u0430\u043f\u043e\u0442\u00bb \u044f\u0437\u044b\u043a\u0430\u00a0\u2014 \u0438\u043d\u043e\u0433\u0434\u0430 \u0442\u0430\u043c \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u0439\u0442\u0438 \u043e\u0442\u0432\u0435\u0442\u044b \u043d\u0430\u00a0\u0441\u0432\u043e\u0438 \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0438 \u0434\u0430\u0436\u0435 \u043a\u043e\u0435\u2011\u043a\u0430\u043a\u0438\u0435 \u0441\u044e\u0440\u043f\u0440\u0438\u0437\u044b.<\/p>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0441\u0442\u0430\u043b\u0438\u0441\u044c \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0438\u043b\u0438\u00a0\u0445\u043e\u0447\u0435\u0442\u0441\u044f \u0447\u0442\u043e\u2011\u0442\u043e \u043e\u0431\u0441\u0443\u0434\u0438\u0442\u044c\u00a0\u2014 \u043f\u0438\u0448\u0438\u0442\u0435 \u0432\u00a0\u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445, \u0432\u0441\u0435\u0433\u0434\u0430 \u0440\u0430\u0434 \u0434\u0438\u0430\u043b\u043e\u0433\u0443 \u0438 \u043d\u043e\u0432\u044b\u043c \u043d\u0430\u0445\u043e\u0434\u043a\u0430\u043c. \u0421\u043f\u0430\u0441\u0438\u0431\u043e \u0437\u0430\u00a0\u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u0438 \u0443\u0434\u0430\u0447\u043d\u044b\u0445 \u0440\u0430\u0441\u043a\u043e\u043f\u043e\u043a \u0432\u00a0\u043c\u0438\u0440\u0435 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u043e\u0432!<\/p>\n<h4>\u0414\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b\u044b<\/h4>\n<ul>\n<li>\n<p>\u041a\u043d\u0438\u0433\u0430: \u00ab\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u044b. \u041f\u0440\u0438\u043d\u0446\u0438\u043f\u044b, \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0439\u00bb. \u0410\u0432\u0442\u043e\u0440\u044b: \u0410\u0445\u043e, \u0423\u043b\u044c\u043c\u0430\u043d, \u041b\u0430\u043c.<\/p>\n<\/li>\n<li>\n<p>\u0412\u0438\u0434\u0435\u043e: <a href=\"https:\/\/www.youtube.com\/watch?v=wUGfuWHCqrc\" rel=\"noopener noreferrer nofollow\">Crash Course on the Kotlin Compiler<\/a>.<\/p>\n<\/li>\n<li>\n<p>\u0421\u0442\u0430\u0442\u044c\u044f: <a href=\"https:\/\/habr.com\/ru\/companies\/kts\/articles\/813085\/#15\" rel=\"noopener noreferrer nofollow\">\u041a\u0430\u043a\u00a0\u043d\u043e\u0432\u044b\u0439 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 K2\u00a0\u0443\u0441\u043a\u043e\u0440\u044f\u0435\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u044e Kotlin \u043d\u0430 94%<\/a>.<\/p>\n<\/li>\n<li>\n<p>\u0421\u0442\u0430\u0442\u044c\u044f: <a href=\"https:\/\/habr.com\/ru\/companies\/alfa\/articles\/902762\/\" rel=\"noopener noreferrer nofollow\">\u041a\u043e\u0440\u0443\u0442\u0438\u043d\u044b \u0441\u00a0\u0442\u043e\u0447\u043a\u0438 \u0437\u0440\u0435\u043d\u0438\u044f \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430<\/a>.<\/p>\n<\/li>\n<li>\n<p>\u0426\u0438\u043a\u043b \u0441\u0442\u0430\u0442\u0435\u0439 Crash course on the Kotlin compiler:  <a href=\"https:\/\/medium.com\/google-developer-experts\/crash-course-on-the-kotlin-compiler-k1-k2-frontends-backends-fe2238790bd8\" rel=\"noopener noreferrer nofollow\">K1\u00a0+ K2\u00a0Frontends, Backends<\/a>, <a href=\"https:\/\/medium.com\/google-developer-experts\/crash-course-on-the-kotlin-compiler-1-frontend-parsing-phase-9898490d922b\" rel=\"noopener noreferrer nofollow\">Frontend: Parsing phase<\/a>, <a href=\"https:\/\/docs.google.com\/document\/d\/17dBSxlXRW7PRD92QZGcGeotnsPSOsp0NSdnFXXZ41sg\/edit\" rel=\"noopener noreferrer nofollow\">Frontend: Resolution phase<\/a>.<\/p>\n<\/li>\n<\/ul>\n<\/div>\n<\/div>\n<\/div>\n<p><!----><!----><\/div>\n<p><!----><!----><br \/> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/917998\/\"> https:\/\/habr.com\/ru\/articles\/917998\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<div><!--[--><!--]--><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p><strong>\u041d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u0434\u0438\u0441\u043a\u043b\u0435\u0439\u043c\u0435\u0440<\/strong><\/p>\n<blockquote>\n<p>\u042f \u043d\u0435\u00a0\u043f\u0438\u0441\u0430\u043b \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 Kotlin \u0438, \u043a\u0430\u043a\u00a0\u0438 \u043b\u044e\u0431\u043e\u0439 \u0436\u0438\u0432\u043e\u0439 \u0447\u0435\u043b\u043e\u0432\u0435\u043a, \u043c\u043e\u0433 \u0447\u0442\u043e\u2011\u0442\u043e \u0443\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u0438\u043b\u0438\u00a0\u043d\u0435\u0432\u0435\u0440\u043d\u043e \u0438\u0441\u0442\u043e\u043b\u043a\u043e\u0432\u0430\u0442\u044c. \u041c\u043e\u044f \u0437\u0430\u0434\u0430\u0447\u0430\u00a0\u2014 \u043d\u0435\u00a0\u0440\u0430\u0441\u043f\u0438\u0441\u0430\u0442\u044c \u043a\u0430\u0436\u0434\u044b\u0439 \u0432\u0438\u043d\u0442\u0438\u043a \u0432\u00a0\u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c\u0435 Contracts, \u0430\u00a0\u043f\u043e\u0434\u0435\u043b\u0438\u0442\u044c\u0441\u044f \u0442\u0435\u043c\u0438 \u043b\u044e\u0431\u043e\u043f\u044b\u0442\u043d\u044b\u043c\u0438 \u043c\u043e\u043c\u0435\u043d\u0442\u0430\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0443\u0434\u0430\u043b\u043e\u0441\u044c \u043d\u0430\u043a\u043e\u043f\u0430\u0442\u044c \u043f\u0440\u0438\u00a0\u0447\u0442\u0435\u043d\u0438\u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u043e\u0432. \u0415\u0441\u043b\u0438 \u0447\u0442\u043e\u2011\u0442\u043e \u043f\u043e\u043a\u0430\u0436\u0435\u0442\u0441\u044f \u043d\u0435\u0442\u043e\u0447\u043d\u044b\u043c \u0438\u043b\u0438\u00a0\u0441\u043f\u043e\u0440\u043d\u044b\u043c\u00a0\u2014 \u043f\u0438\u0448\u0438\u0442\u0435 \u0432\u00a0\u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445, \u0432\u0441\u0435\u0433\u0434\u0430 \u0440\u0430\u0434 \u043e\u0442\u043a\u0440\u044b\u0442\u043e\u043c\u0443 \u0434\u0438\u0430\u043b\u043e\u0433\u0443 \u0438 \u043a\u043e\u043b\u043b\u0435\u043a\u0442\u0438\u0432\u043d\u043e\u043c\u0443 \u00ab\u0434\u043e\u043a\u0430\u043f\u044b\u0432\u0430\u043d\u0438\u044e \u0434\u043e\u00a0\u0441\u0443\u0442\u0438\u00bb.<\/p>\n<\/blockquote>\n<p><strong>\u041f\u0440\u0438\u043c\u0435\u0447\u0430\u043d\u0438\u0435<\/strong>. \u042d\u0442\u043e \u0432\u0442\u043e\u0440\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u00ab\u044d\u043f\u043e\u043f\u0435\u0438\u00bb \u043f\u0440\u043e <strong>\u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432 Kotlin.<\/strong> \u0420\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u043f\u0435\u0440\u0432\u0443\u044e \u0447\u0430\u0441\u0442\u044c \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435 \u043d\u0438\u0436\u0435:<\/p>\n<p><a href=\"https:\/\/habr.com\/ru\/companies\/alfa\/articles\/916536\/\" target=\"_blank\" rel=\"noopener noreferrer nofollow\" class=\"embed_link embed_layout-right\"><\/p>\n<div class=\"embed__thumb\" style=\"background-image: url(&quot;https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/939\/801\/d62\/939801d6219939a01b57b57ffb19cf13.jpeg&quot;);\"><\/div>\n<div class=\"embed__caption\">\n<div class=\"embed__caption-title\"><span>\u041d\u0435 \u0445\u043e\u0442\u0438\u0442\u0435 \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c \u043e Kotlin Contracts?<\/span><\/div>\n<div class=\"embed__caption-description\">\u041f\u0440\u0438\u0432\u0435\u0442! \u041c\u0435\u043d\u044f \u0437\u043e\u0432\u0443\u0442 \u0412\u0438\u0442\u0430\u043b\u0438\u0439. \u042f\u00a0\u2014 Android\u2011\u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a \u0432\u00a0\u0410\u043b\u044c\u0444\u0430\u2011\u0411\u0430\u043d\u043a\u0435. \u0417\u0430\u00a0\u0432\u0440\u0435\u043c\u044f \u0441\u043e\u0431\u0435\u0441\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0439 \u044f \u0437\u0430\u043c\u0435\u0442\u0438\u043b &#8230;<\/div>\n<p><span class=\"embed__caption-host\">habr.com<\/span><\/div>\n<p><\/a><\/p>\n<h2>\u041e\u0447\u0435\u043d\u044c \u043a\u0440\u0430\u0442\u043a\u0438\u0439 \u044d\u043a\u0441\u043a\u0443\u0440\u0441 \u0432 \u0442\u0435\u043c\u0443 Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430<\/h2>\n<p>\u0422\u0440\u0438 \u00ab\u0440\u0430\u043d\u0434\u043e\u043c\u043d\u044b\u0445\u00bb \u0444\u0430\u043a\u0442\u0430 \u043d\u0430 \u0442\u0435\u043c\u0443&#8230;<\/p>\n<p><strong>\u21161. Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u0434\u0432\u0443\u0445\u00a0\u0447\u0430\u0441\u0442\u0435\u0439:<\/strong><\/p>\n<ul>\n<li>\n<p>Frontend\u00a0\u2014 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u0437\u0430\u00a0\u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 <strong>\u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0434\u0435\u0440\u0435\u0432\u0430 <\/strong>(\u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u043a\u043e\u0434\u0430) \u0438 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 <strong>\u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438<\/strong> (\u0441\u043c\u044b\u0441\u043b \u043a\u043e\u0434\u0430)<strong>.<\/strong><\/p>\n<\/li>\n<li>\n<p>Backend\u00a0\u2014 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u0437\u0430\u00a0\u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044e \u043a\u043e\u0434\u0430 \u0434\u043b\u044f\u00a0\u0446\u0435\u043b\u0435\u0432\u043e\u0439 (target) \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u044b: JVM, JS, Native, WASM (\u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u044b\u0439).<\/p>\n<\/li>\n<\/ul>\n<p><strong>\u21162. \u0423\u00a0\u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Kotlin \u0435\u0441\u0442\u044c \u0434\u0432\u0435 \u0444\u0440\u043e\u043d\u0442\u0435\u043d\u0434\u2011\u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438: <\/strong><\/p>\n<ul>\n<li>\n<p>K1\u00a0(FE10-).<\/p>\n<\/li>\n<li>\n<p>K2\u00a0(Fir\u2011).<\/p>\n<\/li>\n<\/ul>\n<p><strong>\u21163. \u0423\u043f\u0440\u043e\u0449\u0451\u043d\u043d\u043e \u0432\u0435\u0441\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u0440\u0430\u0431\u043e\u0442\u044b \u0444\u0440\u043e\u043d\u0442\u0435\u043d\u0434\u0430 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a:<\/strong><\/p>\n<ul>\n<li>\n<p>\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434.<\/p>\n<\/li>\n<li>\n<p>\u0410\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u0435\u0442 \u043a\u043e\u0434 \u043b\u0435\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438, \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438 \u0438 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u0438.<\/p>\n<\/li>\n<li>\n<p>\u041e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u0442 \u0434\u0430\u043d\u043d\u044b\u0435 \u043d\u0430\u00a0\u0431\u044d\u043a\u0435\u043d\u0434 \u0434\u043b\u044f\u00a0\u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u0438 IR (Intermediate representation) \u0438 \u0446\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u043a\u043e\u0434\u0430 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u044b (target).<\/p>\n<\/li>\n<\/ul>\n<p>\u0412\u00a0\u0440\u0430\u043c\u043a\u0430\u0445 \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e <strong>Frontend-\u0447\u0430\u0441\u0442\u044c<\/strong>, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e\u00a0\u0438\u043c\u0435\u043d\u043d\u043e \u0432\u00a0\u044d\u0442\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432\u0441\u044f \u00ab\u043c\u0430\u0433\u0438\u044f\u00bb Kotlin \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432. \u0422\u0430\u043a\u0436\u0435 \u0432\u00a0\u044d\u0442\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c\u0441\u044f \u0440\u0430\u0431\u043e\u0442\u0430 \u0441 <strong>\u0432\u0435\u0440\u0441\u0438\u0435\u0439 K2<\/strong>, \u0432\u00a0\u0441\u0432\u044f\u0437\u0438 \u0441\u00a0\u0442\u0435\u043c, \u0447\u0442\u043e\u00a0K1\u00a0\u0442\u0435\u0440\u044f\u0435\u0442 \u0441\u0432\u043e\u044e \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c. <\/p>\n<p>\u041a\u043e\u043c\u0443 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u043f\u043e\u0433\u043b\u0443\u0431\u0436\u0435 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c\u0441\u044f \u0432\u00a0\u0440\u0430\u0431\u043e\u0442\u0435 Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430, \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u043d\u0430\u0447\u0430\u0442\u044c \u0441 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438:<\/p>\n<p><a href=\"https:\/\/habr.com\/ru\/companies\/kts\/articles\/813085\/\" target=\"_blank\" rel=\"noopener noreferrer nofollow\" class=\"embed_link embed_layout-right\"><\/p>\n<div class=\"embed__thumb\" style=\"background-image: url(&quot;https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/90f\/8d0\/1d9\/90f8d01d9f8258baea6fa8177683e15b.png&quot;);\"><\/div>\n<div class=\"embed__caption\">\n<div class=\"embed__caption-title\"><span>\u041a\u0430\u043a \u043d\u043e\u0432\u044b\u0439 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 K2 \u0443\u0441\u043a\u043e\u0440\u044f\u0435\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u044e Kotlin \u043d\u0430 94%<\/span><\/div>\n<div class=\"embed__caption-description\">\u041f\u0440\u0438\u0432\u0435\u0442, \u043c\u0435\u043d\u044f \u0437\u043e\u0432\u0443\u0442 \u041c\u044f\u043b\u043a\u0438\u043d \u041c\u0430\u043a\u0441\u0438\u043c, \u044f \u0437\u0430\u043d\u0438\u043c\u0430\u044e\u0441\u044c \u043c\u043e\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u043e\u0439 \u0432 KTS. \u041d\u0435 \u0437\u0430 \u0433\u043e\u0440\u0430\u043c\u0438 \u0432\u044b\u043f\u0443\u0441\u043a \u043d\u043e\u0432\u043e\u0439&#8230;<\/div>\n<p><span class=\"embed__caption-host\">habr.com<\/span><\/div>\n<p><\/a><\/p>\n<p>\u041d\u0443 \u0447\u0442\u043e\u00a0\u0436, \u043f\u0440\u0438\u0441\u0442\u0451\u0433\u0438\u0432\u0430\u0439\u0442\u0435\u0441\u044c, \u043d\u0430\u0441 \u0436\u0434\u0451\u0442 \u0443\u0432\u043b\u0435\u043a\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u043f\u0443\u0442\u0435\u0448\u0435\u0441\u0442\u0432\u0438\u0435 \u0432\u00a0\u043d\u0435\u0434\u0440\u044b Kotlin \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432!<\/p>\n<h2>\u041d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e fun: \u0433\u0434\u0435 \u0435\u0449\u0451 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0436\u0434\u0451\u0442 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442?<\/h2>\n<p>\u041e\u0441\u043d\u043e\u0432\u0430 Kotlin K2\u00a0\u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430\u00a0\u2014 \u044d\u0442\u043e FIR\u2011\u0434\u0435\u0440\u0435\u0432\u043e (Frontend Intermediate Representation). <\/p>\n<p>\u0412\u043a\u0440\u0430\u0442\u0446\u0435: FIR\u00a0\u2014 \u044d\u0442\u043e <a href=\"https:\/\/ru.wikipedia.org\/wiki\/%D0%90%D0%B1%D1%81%D1%82%D1%80%D0%B0%D0%BA%D1%82%D0%BD%D0%BE%D0%B5_%D1%81%D0%B8%D0%BD%D1%82%D0%B0%D0%BA%D1%81%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B5_%D0%B4%D0%B5%D1%80%D0%B5%D0%B2%D0%BE\" rel=\"noopener noreferrer nofollow\">AST (\u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0442\u043d\u043e\u0435 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e)<\/a>, \u043e\u0431\u043e\u0433\u0430\u0449\u0451\u043d\u043d\u043e\u0435 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 (\u0441\u043c\u044b\u0441\u043b\u043e\u0432\u043e\u0439) \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0435\u0439. \u041f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u043f\u0440\u043e\u00a0FIR \u2014 \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435 \u043d\u0438\u0436\u0435. <\/p>\n<p><a href=\"https:\/\/habr.com\/ru\/companies\/kts\/articles\/813085\/\" target=\"_blank\" rel=\"noopener noreferrer nofollow\" class=\"embed_link embed_layout-right\"><\/p>\n<div class=\"embed__thumb\" style=\"background-image: url(&quot;https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/90f\/8d0\/1d9\/90f8d01d9f8258baea6fa8177683e15b.png&quot;);\"><\/div>\n<div class=\"embed__caption\">\n<div class=\"embed__caption-title\"><span>\u041a\u0430\u043a \u043d\u043e\u0432\u044b\u0439 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 K2 \u0443\u0441\u043a\u043e\u0440\u044f\u0435\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u044e Kotlin \u043d\u0430 94%<\/span><\/div>\n<div class=\"embed__caption-description\">\u041f\u0440\u0438\u0432\u0435\u0442, \u043c\u0435\u043d\u044f \u0437\u043e\u0432\u0443\u0442 \u041c\u044f\u043b\u043a\u0438\u043d \u041c\u0430\u043a\u0441\u0438\u043c, \u044f \u0437\u0430\u043d\u0438\u043c\u0430\u044e\u0441\u044c \u043c\u043e\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u043e\u0439 \u0432 KTS. \u041d\u0435 \u0437\u0430 \u0433\u043e\u0440\u0430\u043c\u0438 \u0432\u044b\u043f\u0443\u0441\u043a \u043d\u043e\u0432\u043e\u0439&#8230;<\/div>\n<p><span class=\"embed__caption-host\">habr.com<\/span><\/div>\n<p><\/a><\/p>\n<p>\u041e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e\u00a0\u0443\u00a0\u044d\u0442\u043e\u0439 \u043e\u0441\u043d\u043e\u0432\u043e\u043f\u043e\u043b\u0430\u0433\u0430\u044e\u0449\u0435\u0439 \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0435\u0441\u0442\u044c \u0441\u0432\u043e\u044f \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u0430\u044f \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f: <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/72917db99a043379037975574103260ec58bd980\/docs\/fir\/fir-basics.md\" rel=\"noopener noreferrer nofollow\">fir\u2011basics.md<\/a>. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0432\u00a0\u043d\u0435\u0451 \u0437\u0430\u0433\u043b\u044f\u043d\u0435\u043c \u0438 \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0435\u043c \u0447\u0442\u043e\u00a0\u0432\u00a0\u043d\u0435\u0439 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043e <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/72917db99a043379037975574103260ec58bd980\/docs\/fir\/fir-basics.md?plain=1#L25\" rel=\"noopener noreferrer nofollow\">\u043f\u0440\u043e\u00a0\u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b<\/a>. \u0410\u00a0\u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043e \u0442\u0430\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0435 (\u0432 \u043c\u043e\u0451\u043c \u0432\u043e\u043b\u044c\u043d\u043e\u043c \u043f\u0435\u0440\u0435\u0432\u043e\u0434\u0435): <\/p>\n<blockquote>\n<p>\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432\u00a0\u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430\u0445, \u0444\u0443\u043d\u043a\u0446\u0438\u044f\u0445 \u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430\u0445 \u043a\u043b\u0430\u0441\u0441\u043e\u0432<\/p>\n<\/blockquote>\n<figure class=\"\"><\/figure>\n<p>\u0427\u0442\u043e\u043e\u043e? \u0414\u043b\u044f\u00a0\u043c\u0435\u043d\u044f \u044d\u0442\u043e\u00a0\u0431\u044b\u043b\u043e \u0443\u0434\u0438\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e\u00a0\u0440\u0430\u043d\u0435\u0435 \u044f \u0432\u0438\u0434\u0435\u043b \u0438\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0432\u043d\u0443\u0442\u0440\u0438 \u0442\u0435\u043b\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0439. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c!<\/p>\n<figure class=\"full-width\"><\/figure>\n<p>\u0412\u00a0\u0434\u043e\u043a\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043e, \u0447\u0442\u043e\u00a0\u0434\u043b\u044f\u00a0\u0441\u0432\u043e\u0439\u0441\u0442\u0432 \u0434\u043e\u043b\u0436\u043d\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c, \u043d\u043e\u00a0\u043d\u0430\u00a0\u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u043e\u0448\u0438\u0431\u043a\u0443. <\/p>\n<figure class=\"full-width\"><\/figure>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435&#8230;<\/p>\n<h3>\u0417\u0430\u0433\u043b\u044f\u043d\u0435\u043c \u0432\u00a0\u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0438 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u0441\u00a0\u0447\u0435\u043c \u0441\u0432\u044f\u0437\u0430\u043d\u0430 \u044d\u0442\u0430 \u043e\u0448\u0438\u0431\u043a\u0430<\/h3>\n<p>\u0412\u00a0Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0435 \u0437\u0430\u00a0\u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0432\u0430\u043b\u0438\u0434\u043d\u043e\u0441\u0442\u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u043a\u043b\u0430\u0441\u0441 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L40\" rel=\"noopener noreferrer nofollow\">FirContractChecker<\/a>. \u0423\u00a0\u043d\u0435\u0433\u043e \u0435\u0441\u0442\u044c 1\u00a0\u043f\u0443\u0431\u043b\u0438\u0447\u043d\u044b\u0439 \u043f\u0435\u0440\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u044b\u0439 \u043c\u0435\u0442\u043e\u0434 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L48\" rel=\"noopener noreferrer nofollow\">check(FirFunction)<\/a>, \u0433\u0434\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirFunction.kt#L29\" rel=\"noopener noreferrer nofollow\">FirFunction<\/a>\u00a0\u2014 \u044d\u0442\u043e \u043d\u043e\u0434\u0430 \u0432\u00a0FIR\u2011\u0434\u0435\u0440\u0435\u0432\u0435, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044e. <\/p>\n<figure class=\"full-width\"><\/figure>\n<p>\u041a\u0430\u043a\u00a0\u043c\u044b \u0432\u0438\u0434\u0438\u043c, \u0432 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L49\" rel=\"noopener noreferrer nofollow\">\u043f\u0435\u0440\u0432\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0435<\/a> \u043c\u0435\u0442\u043e\u0434\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L48\" rel=\"noopener noreferrer nofollow\">check(FirFunction)<\/a> \u043e\u0442\u0441\u0435\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u043b\u044e\u0431\u044b\u0435 \u00ab\u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0438\u00bb, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435\u00a0\u0440\u0435\u0430\u043b\u0438\u0437\u0443\u044e\u0442 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirContractDescriptionOwner.kt#L21\" rel=\"noopener noreferrer nofollow\">FirContractDescriptionOwner<\/a>.<\/p>\n<figure class=\"full-width\"><\/figure>\n<p>\u0412\u00a0\u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442\u0441\u044f \u043d\u0443\u043b\u0430\u0431\u0435\u043b\u044c\u043d\u043e\u0435 \u043f\u043e\u043b\u0435 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirContractDescriptionOwner.kt#L23\" rel=\"noopener noreferrer nofollow\">contractDescription<\/a> \u0442\u0438\u043f\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/contracts\/FirContractDescription.kt#L20\" rel=\"noopener noreferrer nofollow\">FirContractDescription<\/a>, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u0437\u0430\u00a0\u043f\u043e\u043b\u043d\u043e\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430. \u041d\u0435\u00a0\u0443\u00a0\u043a\u0430\u0436\u0434\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442, \u043d\u043e\u00a0\u0435\u0441\u043b\u0438 \u043e\u043d \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d, \u0442\u043e \u044d\u0442\u043e \u043f\u043e\u043b\u0435 \u0431\u0443\u0434\u0435\u0442 \u0437\u0430\u043f\u043e\u043b\u043d\u0435\u043d\u043e. <\/p>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0443\u00a0\u043a\u0430\u043a\u0438\u0445 \u00ab\u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0435\u0439\u00bb \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirContractDescriptionOwner.kt#L21\" rel=\"noopener noreferrer nofollow\">FirContractDescriptionOwner<\/a>, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043d\u044f\u0442\u044c \u0433\u0434\u0435 \u043d\u0430\u00a0\u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435 \u043d\u0430\u00a0\u0443\u0440\u043e\u0432\u043d\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 \u0435\u0441\u0442\u044c \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432: <\/p>\n<ul>\n<li>\n<p><a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirSimpleFunction.kt#L29\" rel=\"noopener noreferrer nofollow\">FirSimpleFunction<\/a>\u00a0\u2014 \u043e\u0431\u044b\u0447\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f.<\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirConstructor.kt#L29\" rel=\"noopener noreferrer nofollow\">FirConstructor<\/a>\u00a0\u2014 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440.<\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirAnonymousFunction.kt#L30\" rel=\"noopener noreferrer nofollow\">FirAnonymousFunction<\/a>\u00a0\u2014 \u0430\u043d\u043e\u043d\u0438\u043c\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f.<\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/tree\/gen\/org\/jetbrains\/kotlin\/fir\/declarations\/FirPropertyAccessor.kt#L29\" rel=\"noopener noreferrer nofollow\">FirPropertyAccessor<\/a>\u00a0\u2014 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e \u043a\u043b\u0430\u0441\u0441\u0430.<\/p>\n<\/li>\n<\/ul>\n<p><strong>\u0412\u00a0\u043e\u0447\u0435\u0440\u0435\u0434\u043d\u043e\u0439 \u0440\u0430\u0437 \u0443\u0431\u0435\u0434\u0438\u043b\u0438\u0441\u044c, \u0447\u0442\u043e\u00a0\u043d\u0430\u00a0\u0443\u0440\u043e\u0432\u043d\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u043d\u0435\u00a0\u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0430\u00a0\u0443\u0440\u043e\u0432\u043d\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0439.<\/strong> <\/p>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u0442\u044c\u0441\u044f \u0434\u0430\u043b\u044c\u0448\u0435&#8230;.<\/p>\n<h3>\u0413\u0434\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0442\u043e \u0441\u0430\u043c\u043e\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043d\u0430\u00a0\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u0432\u043d\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0439?<\/h3>\n<p>\u0412\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a\u00a0\u043c\u0435\u0442\u043e\u0434\u0443 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L48\" rel=\"noopener noreferrer nofollow\">check(FirFunction)<\/a> \u0438 \u043e\u0431\u0440\u0430\u0442\u0438\u043c \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e\u00a0\u043d\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L50\" rel=\"noopener noreferrer nofollow\">\u0432\u0442\u043e\u0440\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0435<\/a> \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0442\u043e \u0441\u0430\u043c\u043e\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430 <code>contractDescription<\/code>, \u0430\u00a0\u0435\u0441\u043b\u0438 \u0435\u0433\u043e \u043d\u0435\u0442 (\u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f <code>null<\/code>), \u0442\u043e \u0432\u044b\u0445\u043e\u0434\u0438\u043c \u0438\u0437\u00a0\u0444\u0443\u043d\u043a\u0446\u0438\u0438. <\/p>\n<p><strong>\u0412\u0435\u0434\u044c \u0437\u0430\u0447\u0435\u043c \u043d\u0430\u043c \u0430\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0432\u0430\u043b\u0438\u0434\u043d\u043e\u0441\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430, \u0435\u0441\u043b\u0438 \u0435\u0433\u043e \u043d\u0435\u00a0\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442, \u0442\u0430\u043a \u0432\u0435\u0434\u044c?<\/strong><\/p>\n<p>\u0414\u0430\u043b\u0435\u0435 \u0432\u00a0\u0444\u0443\u043d\u043a\u0446\u0438\u0438 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L48\" rel=\"noopener noreferrer nofollow\">check(FirFunction)<\/a> \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043c\u0435\u0442\u043e\u0434 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/fir\/checkers\/src\/org\/jetbrains\/kotlin\/fir\/analysis\/checkers\/declaration\/FirContractChecker.kt#L139\" rel=\"noopener noreferrer nofollow\">`checkContractNotAllowed(FirFunction, FirContractDescription): Boolean`<\/a>, \u0441\u00a0\u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430\u043c\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043c\u044b \u0443\u0436\u0435 \u0437\u043d\u0430\u043a\u043e\u043c\u044b. \u0417\u0430\u0433\u043b\u044f\u043d\u0435\u043c \u0432\u00a0\u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0438 \u0443\u0432\u0438\u0434\u0438\u043c, \u0447\u0442\u043e\u00a0\u0432\u00a0\u0431\u043b\u043e\u043a\u0435 <code>when<\/code> \u043f\u0435\u0440\u0432\u044b\u043c \u0436\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0435\u043c \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f\u00a0\u043b\u0438 \u043d\u0430\u0448\u0430 \u00ab\u0441\u0443\u0449\u043d\u043e\u0441\u0442\u044c\u00bb \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e\u043c. <\/p>\n<ul>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0442\u0430\u043a\u043e\u0432\u044b\u043c, \u0442\u043e \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0432\u043a\u043b\u044e\u0447\u0451\u043d\u00a0\u043b\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/543420\/\" rel=\"noopener noreferrer nofollow\">Feature Flag<\/a> \u043f\u043e\u0434\u00a0\u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0435\u043c <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/util\/src\/org\/jetbrains\/kotlin\/config\/LanguageVersionSettings.kt#L432\" rel=\"noopener noreferrer nofollow\">AllowContractsOnPropertyAccessors<\/a>. <\/p>\n<\/li>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u0432\u044b\u043a\u043b\u044e\u0447\u0435\u043d\u00a0\u2014 \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0442\u0443 \u0441\u0430\u043c\u0443\u044e \u043e\u0448\u0438\u0431\u043a\u0443: \u00ab<strong>Contracts are only allowed for functions<\/strong>.\u00bb. <\/p>\n<\/li>\n<\/ul>\n<figure class=\"full-width\"><\/figure>\n<p>\u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043f\u0440\u0438\u00a0\u043a\u0430\u043a\u0438\u0445 \u0443\u0441\u043b\u043e\u0432\u0438\u044f\u0445 \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442\u0441\u044f Feature Flag <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/util\/src\/org\/jetbrains\/kotlin\/config\/LanguageVersionSettings.kt#L432\" rel=\"noopener noreferrer nofollow\">AllowContractsOnPropertyAccessors<\/a>. <\/p>\n<figure class=\"full-width\">\n<div><figcaption>\u041a\u043b\u0430\u0441\u0441, \u0432\u00a0\u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043b\u0435\u0436\u0430\u0442 Feature Flag&#8217;\u0438<\/figcaption><\/div>\n<\/figure>\n<p>\u0412\u00a0\u044d\u0442\u043e\u043c Feature Flag&#8217;\u0435 \u0435\u0441\u0442\u044c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f \u043a\u0430\u043a\u00a0\u043e\u00a0\u0442\u043e\u043c, \u0441\u00a0\u043a\u0430\u043a\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438 \u043e\u0436\u0438\u0434\u0430\u0435\u0442\u0441\u044f \u0444\u0438\u0447\u0430 (\u0441 \u0432\u0435\u0440\u0441\u0438\u0438 Kotlin 2.3), \u0442\u0430\u043a \u0438 \u0442\u0438\u043a\u0435\u0442 <a href=\"https:\/\/youtrack.jetbrains.com\/issue\/KT-27090\/Support-contracts-in-getter-and-setter-for-top-level-extension-properties\" rel=\"noopener noreferrer nofollow\">KT-27090<\/a> \u0432\u00a0\u0440\u0430\u043c\u043a\u0430\u0445 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442\u0441\u044f \u0434\u0430\u043d\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c. <\/p>\n<figure class=\"full-width\">\n<div><figcaption>\u041a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0435 Feature Flag&#8217;\u0438<\/figcaption><\/div>\n<\/figure>\n<p>\u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e\u00a0\u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u043e\u0447\u043d\u043e \u0441\u00a0\u0432\u0435\u0440\u0441\u0438\u0438 Kotlin 2.3, \u0435\u0441\u043b\u0438 \u0440\u0435\u043b\u0438\u0437 \u0444\u0438\u0447\u0438 \u043d\u0435\u00a0\u0441\u0434\u0432\u0438\u043d\u0435\u0442\u0441\u044f, \u043c\u044b \u043d\u0430\u043a\u043e\u043d\u0435\u0446\u2011\u0442\u043e \u0441\u043c\u043e\u0436\u0435\u043c \u043f\u043e\u0442\u0440\u043e\u0433\u0430\u0442\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432\u00a0\u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430\u0445. <\/p>\n<figure class=\"full-width\"><\/figure>\n<p>\u0412\u00a0\u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0431\u043e\u043d\u0443\u0441\u0430 \u043c\u044b \u0442\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u0434\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u0431\u0443\u0434\u0443\u0449\u0438\u0435 \u0444\u0438\u0447\u0438 Kotlin&#8217;\u0430 \u0447\u0435\u0440\u0435\u0437 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/util\/src\/org\/jetbrains\/kotlin\/config\/LanguageVersionSettings.kt#L432\" rel=\"noopener noreferrer nofollow\">LanguageVersionSettings<\/a>, \u0432\u00a0\u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043b\u0435\u0436\u0430\u0442 Feature Flag&#8217;\u044b \u0434\u043b\u044f\u00a0\u0431\u0443\u0434\u0443\u0449\u0438\u0445 \u0444\u0438\u0447!<\/p>\n<h2>\u041d\u043e\u0432\u044b\u0439 Contracts API<\/h2>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0432\u0437\u0433\u043b\u044f\u043d\u0435\u043c \u043d\u0430\u00a0\u043e\u0434\u043d\u0443 \u0435\u0449\u0451 \u043d\u0435\u00a0\u0444\u0438\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0443\u044e, \u043d\u043e\u00a0\u0443\u0436\u0435 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u0443\u044e \u0434\u043b\u044f\u00a0\u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u043e\u0432, \u0444\u0438\u0447\u0443 \u0432\u00a0\u043c\u0438\u0440\u0435 Kotlin Contracts\u00a0\u2014 \u043d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 (\u044f \u0435\u0451 \u043e\u0442\u043a\u0440\u044b\u043b \u0447\u0438\u0441\u0442\u043e \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e). \u042d\u0442\u043e\u0442 \u043f\u043e\u0434\u0445\u043e\u0434 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043a\u0443\u0434\u0430 \u043b\u0430\u043a\u043e\u043d\u0438\u0447\u043d\u0435\u0435 \u0438 \u043e\u0440\u0433\u0430\u043d\u0438\u0447\u043d\u0435\u0435 \u0441\u00a0\u0442\u043e\u0447\u043a\u0438 \u0437\u0440\u0435\u043d\u0438\u044f \u0434\u0438\u0437\u0430\u0439\u043d\u0430 \u044f\u0437\u044b\u043a\u0430. <\/p>\n<p>\u041f\u0440\u0438\u043c\u0435\u0447\u0430\u043d\u0438\u0435. \u0415\u0441\u043b\u0438 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u0443\u0437\u043d\u0430\u0442\u044c, \u043a\u0430\u043a\u0438\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u0438 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043a\u0438 \u0435\u0441\u0442\u044c \u0443\u00a0\u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e Contracts API \u0432\u00a0Kotlin, \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u0437\u0430\u0433\u043b\u044f\u043d\u0443\u0442\u044c \u0432\u00a0\u0442\u0438\u043a\u0435\u0442 <a href=\"https:\/\/youtrack.jetbrains.com\/issue\/KT-56127\" rel=\"noopener noreferrer nofollow\">KT-56127<\/a>\u00a0\u2014 \u0442\u0430\u043c \u0441\u043e\u0431\u0440\u0430\u043d\u0430 \u0441\u0430\u043c\u0430\u044f \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u0430\u044f \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f<\/p>\n<p>\u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u043a\u0430\u043a\u00a0\u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043d\u043e\u0432\u044b\u0439 API \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u0432\u00a0Kotlin. <\/p>\n<pre><code class=\"kotlin\">fun checkAndRun(x: Any, block: (x: String) -&gt; Unit): Boolean contract [     callsInPlace(block, AT_MOST_ONCE),     returns(true) implies (x is String) ] {     if (x is String) {         block()         return true     } else {         return false     } }<\/code><\/pre>\n<p>\u0412\u00a0\u043d\u043e\u0432\u043e\u043c API \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0442\u0435\u043f\u0435\u0440\u044c \u0441\u0440\u0430\u0437\u0443 \u043f\u0440\u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0432\u00a0\u0434\u0435\u043a\u043b\u0430\u0440\u0430\u0446\u0438\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438\u00a0\u2014 \u043d\u0435\u00a0\u043d\u0443\u0436\u043d\u043e \u043f\u0440\u044f\u0442\u0430\u0442\u044c \u0435\u0433\u043e \u0432\u043d\u0443\u0442\u0440\u0438 \u0442\u0435\u043b\u0430. \u0415\u0449\u0451 \u043d\u0430\u00a0\u044d\u0442\u0430\u043f\u0435 \u0440\u0430\u0437\u0431\u043e\u0440\u0430 PSI \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0432\u0438\u0434\u0438\u0442, \u0435\u0441\u0442\u044c\u00a0\u043b\u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442, \u0438 \u043d\u0435\u00a0\u0442\u0440\u0430\u0442\u0438\u0442 \u0432\u0440\u0435\u043c\u044f \u043d\u0430\u00a0\u043f\u043e\u0438\u0441\u043a\u0438 \u0432\u043d\u0443\u0442\u0440\u0438 \u0442\u0435\u043b\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0438. \u041f\u043b\u044e\u0441 \u0441\u0442\u0430\u043b\u043e \u0443\u0434\u043e\u0431\u043d\u043e \u044f\u0432\u043d\u043e \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432: \u043f\u043e\u0441\u043b\u0435 <code>contract<\/code> \u043f\u0440\u043e\u0441\u0442\u043e \u043e\u0442\u043a\u0440\u044b\u0432\u0430\u0435\u043c \u043a\u0432\u0430\u0434\u0440\u0430\u0442\u043d\u044b\u0435 \u0441\u043a\u043e\u0431\u043a\u0438, \u043a\u0430\u043a\u00a0\u0432\u00a0\u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u044f\u0445.<\/p>\n<h3>\u041a\u0430\u043a \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c \u043d\u043e\u0432\u044b\u0439 API<\/h3>\n<p>\u0415\u0441\u043b\u0438 \u0432\u044b \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u0442\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432, \u0442\u043e \u0441\u043a\u043e\u0440\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0435 \u043e\u0448\u0438\u0431\u043a\u0443 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438.<\/p>\n<figure class=\"full-width\">\n<div><figcaption>\u041d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 V2\u00a0\u0434\u043e\u00a0\u0432\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f <code>ContractSyntaxV2<\/code><\/figcaption><\/div>\n<\/figure>\n<p>\u041d\u043e\u0432\u044b\u0439 Contract API \u0441\u0435\u0439\u0447\u0430\u0441 \u0441\u043f\u0440\u044f\u0442\u0430\u043d \u0437\u0430\u00a0Feature Flag&#8217;\u043e\u043c <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/util\/src\/org\/jetbrains\/kotlin\/config\/LanguageVersionSettings.kt#L499C85-L499C94\" rel=\"noopener noreferrer nofollow\">ContractSyntaxV2<\/a>. \u0427\u0442\u043e\u0431\u044b \u0435\u0433\u043e \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c, \u0434\u043e\u0431\u0430\u0432\u044c\u0442\u0435 \u0432\u00a0\u043e\u043f\u0446\u0438\u0438 Kotlin \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 <code>\"-XXLanguage:+ContractSyntaxV2\"<\/code>, \u0430\u00a0\u0437\u0430\u0442\u0435\u043c \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u0435\u0440\u0435\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0438\u0440\u0443\u0439\u0442\u0435 Gradle.<\/p>\n<figure class=\"full-width\">\n<div><figcaption>\u041f\u0440\u0438\u043c\u0435\u0440 Project Gradle \u0444\u0430\u0439\u043b\u0430 \u0441 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u043d\u043e\u0439 \u043e\u043f\u0446\u0438\u0435\u0439 <code>ContractSyntaxV2<\/code><\/figcaption><\/div>\n<\/figure>\n<p>\u041f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0433\u043e \u0432\u044b \u0441\u043c\u043e\u0436\u0435\u0442\u0435 \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u0432\u00a0\u0441\u0432\u043e\u0451\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u0435.<\/p>\n<figure class=\"full-width\">\n<div><figcaption>\u041d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u043f\u043e\u0441\u043b\u0435 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f <code>ContractSyntaxV2<\/code><\/figcaption><\/div>\n<\/figure>\n<figure class=\"full-width\"><\/figure>\n<h3>\u041a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u043e\u0432\u044b\u0439 Contracts API \u0438\u0437\u043d\u0443\u0442\u0440\u0438<\/h3>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u043a\u0430\u043a\u00a0\u043f\u043e\u0434\u00a0\u043a\u0430\u043f\u043e\u0442\u043e\u043c Kotlin \u043f\u0430\u0440\u0441\u0438\u0442 \u043d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432. \u0414\u043b\u044f\u00a0\u043d\u0430\u0447\u0430\u043b\u0430 \u043f\u0430\u0440\u0441\u0435\u0440 \u0441\u043a\u0430\u043d\u0438\u0440\u0443\u0435\u0442 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434 \u0438 \u0440\u0430\u0437\u0431\u0438\u0432\u0430\u0435\u0442 \u0435\u0433\u043e \u043d\u0430\u00a0\u043b\u0435\u043a\u0441\u0435\u043c\u044b (<a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/master\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/lexer\/KtTokens.java\" rel=\"noopener noreferrer nofollow\">KtTokens<\/a>). \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440: <\/p>\n<ul>\n<li>\n<p><code>[<\/code><strong><em>\u00a0   <\/em><\/strong>\u2192  <strong><em>\u00a0<\/em><\/strong><code>KtTokens.LBRACKET<\/code><strong><em>\u00a0<\/em><\/strong><\/p>\n<\/li>\n<li>\n<p><code>]<\/code><strong><em>\u00a0   <\/em><\/strong>\u2192  <strong><em>\u00a0<\/em><\/strong><code>KtTokens.RBRACKET<\/code><\/p>\n<\/li>\n<li>\n<p><code>contract<\/code><strong><em>\u00a0   <\/em><\/strong>\u2192  <strong><em>\u00a0<\/em><\/strong><code>KtTokens.CONTRACT_KEYWORD<\/code><\/p>\n<\/li>\n<\/ul>\n<figure class=\"full-width\">\n<div><figcaption>\u041f\u0440\u0438\u043c\u0435\u0440 \u0442\u043e\u043a\u0435\u043d\u043e\u0432 \u0438\u0437 KtTokens<\/figcaption><\/div>\n<\/figure>\n<p>\u041e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435: \u0432\u00a0\u043d\u043e\u0432\u043e\u043c API <code>contract<\/code>\u00a0\u2014 \u044d\u0442\u043e \u0443\u0436\u0435 \u0437\u0430\u0440\u0435\u0437\u0435\u0440\u0432\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u0441\u043b\u043e\u0432\u043e, \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0435 \u0432\u00a0\u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0439 \u0442\u043e\u043a\u0435\u043d. \u0412\u00a0\u0441\u0442\u0430\u0440\u043e\u043c API \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f <code>contract { ... }<\/code>\u00a0\u0431\u044b\u043b\u0430 \u043e\u0431\u044b\u0447\u043d\u044b\u043c \u0432\u044b\u0437\u043e\u0432\u043e\u043c \u043c\u0435\u0442\u043e\u0434\u0430, \u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043d\u0430\u00a0\u044d\u0442\u0430\u043f\u0435 \u043b\u0435\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0435\u00a0\u0437\u043d\u0430\u043b, \u0447\u0442\u043e\u00a0\u044d\u0442\u043e \u043a\u0430\u043a\u043e\u0439\u2011\u0442\u043e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u00a0\u2014 \u0434\u043b\u044f\u00a0\u043d\u0435\u0433\u043e \u044d\u0442\u043e\u00a0\u0431\u044b\u043b \u043f\u0440\u043e\u0441\u0442\u043e \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 (\u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0435 \u043c\u0435\u0442\u043e\u0434\u0430) \u0438 \u0444\u0438\u0433\u0443\u0440\u043d\u044b\u0435 \u0441\u043a\u043e\u0431\u043a\u0438.<\/p>\n<p>\u041f\u043e\u0441\u043b\u0435 \u043b\u0435\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442 \u043a\u00a0\u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u043c\u0443, \u0433\u0434\u0435 \u0438\u0437\u00a0\u0441\u043f\u0438\u0441\u043a\u0430 \u043b\u0435\u043a\u0441\u0435\u043c \u0441\u0442\u0440\u043e\u0438\u0442\u0441\u044f \u0434\u0435\u0440\u0435\u0432\u043e \u0442\u043e\u043a\u0435\u043d\u043e\u0432. \u042d\u0442\u043e\u0442 \u044d\u0442\u0430\u043f \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442\u0441\u044f \u0432\u00a0\u043a\u043b\u0430\u0441\u0441\u0435 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L36\" rel=\"noopener noreferrer nofollow\">KotlinParsing<\/a>.<\/p>\n<p>\u041f\u0440\u0438\u00a0\u043f\u0430\u0440\u0441\u0438\u043d\u0433\u0435 \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0438 \u00ab\u0444\u0443\u043d\u043a\u0446\u0438\u044f\u00bb \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043c\u0435\u0442\u043e\u0434 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L1749\" rel=\"noopener noreferrer nofollow\">parseFunction(boolean)<\/a>, \u0432\u043d\u0443\u0442\u0440\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0434\u0432\u0430\u0436\u0434\u044b \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0432\u044b\u0437\u043e\u0432 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L2105\" rel=\"noopener noreferrer nofollow\">parseFunctionContract()<\/a>\u00a0(\u043f\u043e\u0447\u0435\u043c\u0443 \u0442\u0430\u043a, \u043e\u0431\u0441\u0443\u0434\u0438\u043c \u0447\u0443\u0442\u044c \u043f\u043e\u0437\u0436\u0435).<\/p>\n<figure class=\"full-width\">\n<div><figcaption>\u0422\u0435\u043b\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 parseFunction(boolean)<\/figcaption><\/div>\n<\/figure>\n<p>\u0414\u0430\u043b\u0435\u0435 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinParsing.java#L2105\" rel=\"noopener noreferrer nofollow\">parseFunctionContract()<\/a> \u043f\u0435\u0440\u0435\u0434\u0430\u0451\u0442 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u0430\u0440\u0441\u0438\u043d\u0433\u0430 \u0431\u043b\u043e\u043a\u0430 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430, \u0432\u044b\u0437\u044b\u0432\u0430\u044f \u043c\u0435\u0442\u043e\u0434 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinExpressionParsing.java#L1104\" rel=\"noopener noreferrer nofollow\">parseContractDescriptionBlock()<\/a> \u0443\u00a0\u043e\u0431\u044a\u0435\u043a\u0442\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinExpressionParsing.java#L33\" rel=\"noopener noreferrer nofollow\">KotlinExpressionParsing<\/a>.<\/p>\n<figure class=\"full-width\">\n<div><figcaption>\u041c\u0435\u0442\u043e\u0434 parseFunctionContract \u0438\u0437 \u043a\u043b\u0430\u0441\u0441\u0430 KotlinParsing<\/figcaption><\/div>\n<\/figure>\n<p>\u0412\u00a0\u043c\u0435\u0442\u043e\u0434\u0435 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinExpressionParsing.java#L1104\" rel=\"noopener noreferrer nofollow\">parseContractDescriptionBlock()<\/a> \u043f\u0430\u0440\u0441\u0435\u0440 \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u0441\u0434\u0432\u0438\u0433\u0430\u0435\u0442 \u043a\u0443\u0440\u0441\u043e\u0440 \u043d\u0430\u00a0\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d \u0441\u00a0\u043f\u043e\u043c\u043e\u0449\u044c\u044e <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/AbstractKotlinParsing.java#L145\" rel=\"noopener noreferrer nofollow\">advance()<\/a>, \u0430\u00a0\u043f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0433\u043e \u043f\u0440\u0438\u0441\u0442\u0443\u043f\u0430\u0435\u0442 \u043a\u00a0\u0440\u0430\u0437\u0431\u043e\u0440\u0443 \u0441\u043f\u0438\u0441\u043a\u0430 \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430.<\/p>\n<figure class=\"full-width\">\n<div><figcaption>\u041c\u0435\u0442\u043e\u0434 parseContractDescriptionBlock<\/figcaption><\/div>\n<\/figure>\n<p>\u041a\u0441\u0442\u0430\u0442\u0438, \u0437\u0430\u043c\u0435\u0442\u0438\u043b\u0438, \u0447\u0442\u043e\u00a0\u043c\u044b \u043d\u0438\u0433\u0434\u0435 \u044f\u0432\u043d\u043e \u043d\u0435\u00a0\u043f\u0435\u0440\u0435\u0434\u0430\u0451\u043c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u043e\u00a0\u0442\u0435\u043a\u0443\u0449\u0435\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u0438 \u043f\u0430\u0440\u0441\u0435\u0440\u0430? \u0422\u0435\u043c \u043d\u0435\u00a0\u043c\u0435\u043d\u0435\u0435, \u043f\u0430\u0440\u0441\u0435\u0440 \u0432\u0441\u0435\u0433\u0434\u0430 \u00ab\u0432 \u043a\u0443\u0440\u0441\u0435\u00bb, \u0433\u0434\u0435 \u043e\u043d \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432\u00a0\u043a\u043e\u0434\u0435. \u0412\u0441\u044f \u043c\u0430\u0433\u0438\u044f \u0432\u00a0\u0442\u043e\u043c, \u0447\u0442\u043e\u00a0\u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u043a\u0443\u0440\u0441\u043e\u0440\u0430 \u0445\u0440\u0430\u043d\u0438\u0442\u0441\u044f \u0432\u043d\u0443\u0442\u0440\u0438 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/AbstractKotlinParsing.java#L53\" rel=\"noopener noreferrer nofollow\">myBuilder<\/a>\u00a0\u2014 \u044d\u0442\u043e \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u043a\u043b\u0430\u0441\u0441\u0430 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/bc0801e5de83f80756816a6428d66a802e2f9f18\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/SemanticWhitespaceAwarePsiBuilder.java#L23\" rel=\"noopener noreferrer nofollow\">SemanticWhitespaceAwarePsiBuilder<\/a>.<\/p>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043a\u0430\u043a\u00a0\u0432\u00a0\u043c\u0435\u0442\u043e\u0434\u0435 <a href=\"https:\/\/github.com\/JetBrains\/kotlin\/blob\/b46fa3606542b1b5b014e76a820c21f66d45429e\/compiler\/psi\/src\/org\/jetbrains\/kotlin\/parsing\/KotlinExpressionParsing.java#L1112\" rel=\"noopener noreferrer nofollow\">parseContractEffectList()<\/a> \u043f\u0430\u0440\u0441\u0438\u0442\u0441\u044f \u0441\u043f\u0438\u0441\u043e\u043a \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432. <\/p>\n<h3>\u041a\u0430\u043a \u043f\u0430\u0440\u0441\u0438\u0442\u0441\u044f \u0441\u043f\u0438\u0441\u043e\u043a \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432<\/h3>\n<figure class=\"full-width\">\n<div><figcaption>\u041c\u0435\u0442\u043e\u0434 parseContractEffectList()<\/figcaption><\/div>\n<\/figure>\n<p>\u0424\u0443\u043d\u043a\u0446\u0438\u044f \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u0435\u0442 \u0431\u043b\u043e\u043a \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0438\u0448\u0435\u0442\u0441\u044f \u0432\u00a0\u043a\u0432\u0430\u0434\u0440\u0430\u0442\u043d\u044b\u0445 \u0441\u043a\u043e\u0431\u043a\u0430\u0445 \u043d\u0430\u00a0\u0443\u0437\u043b\u044b PSI \u0434\u0435\u0440\u0435\u0432\u0430.<\/p>\n<h4>\u21161. mark()<\/h4>\n<pre><code class=\"java\">PsiBuilder.Marker block = mark();<\/code><\/pre>\n<ul>\n<li>\n<p>\u0421\u043e\u0437\u0434\u0430\u0451\u0442 \u00ab\u043c\u0430\u0440\u043a\u0435\u0440\u00bb \u043d\u0430\u0447\u0430\u043b\u0430 \u043d\u043e\u0432\u043e\u0433\u043e \u0443\u0437\u043b\u0430 PSI\u2011\u0434\u0435\u0440\u0435\u0432\u0430.<\/p>\n<\/li>\n<li>\n<p>\u041f\u0430\u0440\u0441\u0435\u0440 \u043a\u0430\u043a\u00a0\u0431\u044b \u00ab\u043f\u043e\u043c\u0435\u0447\u0430\u0435\u0442\u00bb, \u0447\u0442\u043e\u00a0\u0441\u0435\u0439\u0447\u0430\u0441 \u043d\u0430\u0447\u043d\u0451\u0442\u0441\u044f \u043d\u043e\u0432\u0430\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430.<\/p>\n<\/li>\n<li>\n<p>\u0412\u0441\u0451, \u0447\u0442\u043e\u00a0\u0431\u0443\u0434\u0435\u0442 \u0441\u043f\u0430\u0440\u0448\u0435\u043d\u043e \u043c\u0435\u0436\u0434\u0443 \u044d\u0442\u0438\u043c <code>mark()<\/code> \u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c <code>done()<\/code>, \u0441\u0442\u0430\u043d\u0435\u0442 \u0443\u0437\u043b\u043e\u043c PSI \u0434\u0435\u0440\u0435\u0432\u0430.<\/p>\n<\/li>\n<\/ul>\n<h4>\u21162. expect(LBRACKET, &#171;Expecting &#8216;[&#8216;&#187;)<\/h4>\n<pre><code class=\"java\">expect(LBRACKET, \"Expecting '['\");<\/code><\/pre>\n<ul>\n<li>\n<p>\u041f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u0441\u0442\u043e\u0438\u0442\u00a0\u043b\u0438 \u0441\u0435\u0439\u0447\u0430\u0441 \u0442\u043e\u043a\u0435\u043d <code>[<\/code>.<\/p>\n<\/li>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u0434\u0430\u00a0\u2014 \u0441\u0434\u0432\u0438\u0433\u0430\u0435\u0442 \u043f\u043e\u0437\u0438\u0446\u0438\u044e \u043a\u0443\u0440\u0441\u043e\u0440\u0430 \u043d\u0430\u00a0\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d.<\/p>\n<\/li>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u043d\u0435\u0442\u00a0\u2014 \u043a\u0438\u0434\u0430\u0435\u0442 \u043e\u0448\u0438\u0431\u043a\u0443 \u0441\u00a0\u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0435\u043c \u00abExpecting &#8216;[&#8216;\u00bb.<\/p>\n<\/li>\n<\/ul>\n<h4>\u21163. parseContractEffects()<\/h4>\n<ul>\n<li>\n<p>\u0420\u0430\u0437\u0431\u0438\u0440\u0430\u0435\u0442 \u0441\u0430\u043c\u0438 \u044d\u0444\u0444\u0435\u043a\u0442\u044b \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430 \u0432\u043d\u0443\u0442\u0440\u0438 \u0431\u043b\u043e\u043a\u0430\u00a0\u2014 \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440,<br \/><code>returns() implies (value != null)<\/code>.<\/p>\n<\/li>\n<li>\n<p><code>returns()<\/code>, \u044d\u0444\u0444\u0435\u043a\u0442 \u0434\u043e <code>implies<\/code>, \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043c\u0435\u0447\u0435\u043d \u043a\u0430\u043a\u00a0\u043e\u0431\u044b\u0447\u043d\u044b\u0439 \u0432\u044b\u0437\u043e\u0432 \u043c\u0435\u0442\u043e\u0434\u0430: <code><strong>CALL_EXPRESSION<\/strong><\/code><\/p>\n<\/li>\n<li>\n<p><code>implies<\/code> \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043c\u0435\u0447\u0435\u043d \u043a\u0430\u043a\u00a0\u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440: <code><strong>OPERATION_EXPRESSION<\/strong><\/code>, \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u043e <code>!=<\/code> <\/p>\n<\/li>\n<\/ul>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-466310","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/466310","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=466310"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/466310\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=466310"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=466310"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=466310"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}