1 Commits

Author SHA1 Message Date
Tagir Valeev
a93cb6b9a5 Java slicing: support -> this/-> paramN contracts
Fixes IDEA-121571 Feature request: A Contract Annotation that indicates that a method returns its argument
2018-05-08 11:53:19 +07:00