Commit 2025-11-19 19:01 b9fc957e

View on Github →

fix(unfold?): improved implementation of isUserFriendly (#31608) This PR fixes isUserFriendly, in unfold?, for two reasons:

  • We should only worry about bad constants in the expression if they appear in the visible part of the expression. They should be allowed in e.g. instance implicit arguments.
  • We don't want to get raw projections, because these are generally not what we want to work with.

Estimated changes

added def aux