Remove --enable-unstable
#3068
Assignees
Labels
[E] User Experience
An UX enhancement for an existing feature. Including deprecation of an existing one.
Comments
celinval
added
the
[E] User Experience
github-merge-queue bot
pushed a commit
that referenced
this issue
Jan 28, 2025
For unstable options, require `-Z unstable-options` instead. `--restrict-vtable` is deprecated in favor of `-Z restrict-vtable` Towards #2279 Towards #3068 ## Call-out - We should consider adding a `-Z dev-options` or something similar to distinguish between unstable features and developer only features, i.e., features not meant to be ever stabilized. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Proposed change: Deprecate and remove
--enable-unstable. For legacy arguments like--cbmc-args,--visualize,--functionand other unstable arguments, the proposal was to create a unstable feature-Z unstable-options.For things that are only added for debug / development purpose, I propose we add something like
Z dev-features.Motivation: This is the missing part of the Unstable APIs RFC.
The text was updated successfully, but these errors were encountered: