Skip to content

generic_const_exprs: suggest to add the feature, not use it#118486

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:add-featureDec 1, 2023

Commits

Commits on Nov 30, 2023