Add candidates for DiscriminantKind builtin#107427

Merged

bors merged 3 commits intorust-lang:masterfrom detrumi:builtin-impl-candidates

Feb 3, 2023

+25

Commits on Feb 1, 2023

Commits on Feb 3, 2023

Use new helper inside probe
detrumi
committed