Do not consider match/let/ref of place that evaluates to ! to diverge, disallow coercions from them too #18237

Closed

Closed

Do not consider match/let/ref of place that evaluates to ! to diverge, disallow coercions from them too#18237

Assignees

Labels

We should implement rust-lang/rust#129392

Metadata

Assignees

ShoyuVanilla

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests