Commit Graph

1 Commits

Author SHA1 Message Date
Hamish Knight
5af928216e [CS] Avoid penalizing holes for placeholder vars for completion
When doing completion in a result builder, we avoid
solving unrelated expressions by replacing them with
unbound placeholder variables. Avoid penalizing
assigning holes to these placeholders, since
otherwise we end up unnecessarily exploring the
entire solution space, and bailing due to too
complex.

rdar://144382123
2025-02-07 17:37:35 +00:00