Florian Diebold fe7bf993aa 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.

2020-05-08 18:15:24 +02:00

..

src

Implement better handling of divergence

2020-05-08 18:15:24 +02:00

Cargo.toml

Bump deps

2020-05-01 15:29:03 +03:00