diff options
| author | Florian Diebold <[email protected]> | 2020-05-08 16:36:11 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-05-08 17:15:24 +0100 |
| commit | fe7bf993aa8d64668707e348f2ea69918cfda9a4 (patch) | |
| tree | 9d3fc4f969dbd06d982dda6dadc6325a668e7eb1 /editors/code/src/commands/analyzer_status.ts | |
| parent | d3eb9d8eafbebca7da95fa8a4813b92eb5080500 (diff) | |
Implement better handling of divergence
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.
Diffstat (limited to 'editors/code/src/commands/analyzer_status.ts')
0 files changed, 0 insertions, 0 deletions