Eager unreachable blocks for `!` type - #47291

Closed

varkor wants to merge 16 commits into

rust-lang:masterfrom

varkor:unreachable-never-patterns

Commits on Mar 16, 2018

Unreachable never arguments
varkor
committed
b5c1ab9
Unreachable match arms
varkor
committed
e37f424
Add test
varkor
committed
ad2b478
Add more general checks for never-type arguments
varkor
committed
c5f7ab3
Prevent never-type rvalues
varkor
committed
50d533b
Generate unreachable for rvalues earlier
varkor
committed
4a37e05
Add copyright to test
varkor
committed
3db42b7
Remove tabs that sneaked in
varkor
committed
27d4d5e
Add mir-opt test
varkor
committed
a656814
Reuse conservative_is_uninhabited
varkor
committed
63c7a3e
Remove test statements that are now optimised away
varkor
committed
e22be28
Improve arm filtering
varkor
committed
b82ee57
Add test for disjunctive patterns
varkor
committed
4578a16
Removed redundant test
varkor
committed
1a799c0
Fix TyTuple after never type stabilisation
varkor
committed
c17319c
Update mir-opt test
varkor
committed
741c8ab