mirror of
https://github.com/enso-org/enso.git
synced 2024-12-28 10:55:42 +03:00
b656b336c7
Closes #7353 I introduce a new type `WithAggregatedProblems`, because `WithProblems` was too simple - it only allowed to hold a `List<Problem>` but `AggregatedProblems` is more than that. Ideally we shouldn't multiply entities like this too much. We should probably unify all to use `WithAggregatedProblems` - but after starting this, I realised it will likely just take too much effort to do for this little PR. So instead, I created a follow-up task for this: #7514 |
||
---|---|---|
.. | ||
Standard |