Add covering set impl for generic version of trait when all values of a const are covered by impls
#404
| Job | Run time |
|---|---|
| 1m 27s | |
| 1m 25s | |
| 1m 31s | |
| 4m 23s |