Skip to content

CTFE: tweak abort-on-uninhabited message#79910

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:abort-msg
Dec 11, 2020
Merged

CTFE: tweak abort-on-uninhabited message#79910
bors merged 2 commits intorust-lang:masterfrom
RalfJung:abort-msg

Commits

Commits on Dec 10, 2020