Files
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

6 lines
177 B
Java

class Test {
StringBuilder builder(StringBuilder <flown1111>sb) {
StringBuilder foo = <flown111><flown11><flown1>sb.append("foo").append(123);
return <caret>foo;
}
}