Skip to content

Turn type inhabitedness into a query to fix exhaustive_patterns perf#79670

Merged
bors merged 4 commits intorust-lang:masterfrom
Nadrieril:uninhabited-query
Jan 13, 2021
Merged

Turn type inhabitedness into a query to fix `exhaustive_patterns` perf#79670
bors merged 4 commits intorust-lang:masterfrom
Nadrieril:uninhabited-query

Commits

Commits on Jan 12, 2021