default = ["stack-cache"]
stack-cache = []
-[profile.dev]
-opt-level = 2 # because it's too slow otherwise
+# Be aware that this file is inside a workspace when used via the
+# submodule in the rustc repo. That means there are many cargo features
+# we cannot use, such as profiles.