Better typeck divergence - #50262

Closed

varkor wants to merge 19 commits into

rust-lang:masterfrom

varkor:better-divergence

Commits on Jul 23, 2018

Add Diverges::UnwarnedAlways
varkor
committed
969542c
Functions with uninhabited parameters diverge
varkor
committed
2e9b296
Use conservative_is_uninhabited instead of is_never where possible
varkor
committed
02f3b8f
Special-case no-arm matches
varkor
committed
39313bb
Update test to account for uninhabitedness of tuples
varkor
committed
e61cccf
Take account of TyArray uninhabitedness
varkor
committed
ca5afd8
Improve the documentation of Diverges
varkor
committed
2e23d8d
Update test to account for uninhabitedness of arrays
varkor
committed
d485cc4
Add a feature gate for the improved divergence behaviour
varkor
committed
9d4b466
Add tests for better_divergence_checking feature gate
varkor
committed
30b1942
Fix the nil-enum test
varkor
committed
a778a73
Fix a typo in the feature gate
varkor
committed
e7dc075
Remove additions to conservative_is_uninhabited
varkor
committed
c07fcd8
Replace better_divergence_checking feature flag with exhaustive_patterns
varkor
committed
3daf17c
Fix unreachable-try-patterns
varkor
committed
38c3e0d
Empty diverging functions do not warn
varkor
committed
b80a490
ExprBlocks now have a label field
varkor
committed
5efa7c9
Fix rebase issues
varkor
committed
b9ea715
Fix issues in comments
varkor
committed
168d2a3