Eager unreachable blocks for `!` type#47291

Closed

varkor wants to merge 16 commits intorust-lang:masterfrom

varkor:unreachable-never-patterns

Contributor

varkor commented Jan 9, 2018 •

edited

Loading

This change optimises the generation of MIR in the presence of !. Blocks are now immediately marked as unreachable if:

A function argument is derived from the value of type !.
A match arm binds a value whose type is derived from !.
An rvalue is created whose type is derived from !.

This avoids unnecessary MIR generation and also fixes #43061 and fixes #41446.

r? @nikomatsakis

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels