Skip to content

Add covering set impl for generic version of trait when all values of a const are covered by impls - #132

Closed
JulianKnodt wants to merge 2 commits into
rust-lang:mainfrom
JulianKnodt:main
Closed

Add covering set impl for generic version of trait when all values of a const are covered by impls#132
JulianKnodt wants to merge 2 commits into
rust-lang:mainfrom
JulianKnodt:main

Add new exhaustive covering predicate

023290e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs