| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Handle break somewhat better | Florian Diebold | 2020-05-08 | 1 | -1/+71 |
| | | | | | | Still no break-with-value or labels, but at least we know that `loop { break; }` doesn't diverge. | ||||
| * | Implement better handling of divergence | Florian Diebold | 2020-05-08 | 1 | -1/+106 |
| | | | | | | | | | Divergence here means that for some reason, the end of a block will not be reached. We tried to model this just using the never type, but that doesn't work fully (e.g. in `let x = { loop {}; "foo" };` x should still have type `&str`); so this introduces a `diverges` flag that the type checker keeps track of, like rustc does. | ||||
| * | Don't let unknown match arms fall back to ! | Florian Diebold | 2020-02-11 | 1 | -0/+17 |
| | | |||||
| * | Move Ty | Aleksey Kladov | 2019-11-27 | 1 | -0/+246 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |