That would be just
```
if (a == something &&am...
# language-proposalsd
dmitry.petrov
05/26/2016, 2:00 PMThat would be just
Copy code
if (a == something && x != null) {
x.doSomething() // x is non-nullable here
}