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

Commits

Commits on Jan 12, 2021