const definitions are not allowed in impl blocks

[jhjourdan]

There is no reason to allow them globally but not in impl blocks.

[xldenis]

? are you saying we shouldn't allow them globally but should allow them in impls? Or that we should allow them everywhere?

[jhjourdan]

I think they should be allowed everywhere, and that I don't see why it would be more complicated to accept them (in non-trait-instantiation) impl blocks. So I consider this a s "bug" (or lack of an expected feature) if this is not possible.

[xldenis]

Indeed, but const blocks are handled in a special way which breaks compilation in Creusot. I believe @voidc had sketched a solution at some point.

[voidc]

Closed by #765.