| Annotation Type | Description |
|---|---|
| BottomThis |
The bottom type for the Returns Receiver Checker's type system.
|
| This |
Write
@This on the return type of a method that always returns its receiver (this). |
| UnknownThis |
The top type for the Returns Receiver Checker's type system.
|