In #15335, we added some int{} wrappers around uses of TypeSafeIndex to placate the compiler when using Eigen's 3.4 development branch. The purpose of TypeSafeIndex is to easily serve as an index, so it's a bit awkward to need int{} now.
We should dig into the templates or overloads and figure out what's wrong with Drake or Eigen, so that we can remove the int{} noise. Once we have that fix landed, we should revert #15335 and any similar int{} that have been added in the meantime.
Related to #14968. Refer to https://github.com/RobotLocomotion/drake/pull/15335#pullrequestreview-702097433 for the motivating discussion.
In #15335, we added some
int{}
wrappers around uses ofTypeSafeIndex
to placate the compiler when using Eigen's 3.4 development branch. The purpose ofTypeSafeIndex
is to easily serve as an index, so it's a bit awkward to needint{}
now.We should dig into the templates or overloads and figure out what's wrong with Drake or Eigen, so that we can remove the
int{}
noise. Once we have that fix landed, we should revert #15335 and any similarint{}
that have been added in the meantime.