In tstate::auxiliary::constraint, find a way to "freeze" the descs field #2539
Labels
C-cleanup
Category: PRs that clean code up or issues documenting cleanup.
Milestone
This is a supreme yak-shave, but the type
tstate::auxiliary::constraint
has a mutable vector (dvec) field calleddescs
, but it only needs to be mutable during thecollect_locals
part of typestate. Ideallycollect_locals
would use this type internally, then return a different type that has an immutable vector field. But I'm not sure if there's a good way to turn a dvec into an immutable vector.Contingent on typestate not getting removed.
The text was updated successfully, but these errors were encountered: