tree 05e560395e5a6b65649c70c3e010dc09d1a72635
parent b2397f033b8f11c6b5a2a25b36dea4e010163c6c
author Nikita Bobko <nikita.bobko@jetbrains.com> 1668518922 +0100
committer Nikita Bobko <nikita.bobko@jetbrains.com> 1669902169 +0100

2/2 analysis-api: Initial implementation for contracts

Review: https://jetbrains.team/p/kt/reviews/7652

Put this change into a separate commit because:
1. The change is boring and clutters the diff of the first commit
2. The first commits is already too big