Skip to content

Conversation

@cdmihai
Copy link
Contributor

@cdmihai cdmihai commented Jun 30, 2021

Improves an obscure error message. Cherry-picked this commit out of #6635 because 16.11 loc window is closed.

@cdmihai
Copy link
Contributor Author

cdmihai commented Jun 30, 2021

Seems to be depending on a new ErrorUtilies method introduced in #6569. Let's just wait until that PR gets into 16.11 and 16.11 merges back into main.

Copy link
Contributor

@Forgind Forgind left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sounds basically reasonable. I don't fully understand the error, but I assume this is right.

@dotnet dotnet deleted a comment from azure-pipelines bot Aug 3, 2021
@Forgind Forgind removed the blocked label Aug 5, 2021
@Forgind
Copy link
Contributor

Forgind commented Aug 9, 2021

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@Forgind Forgind added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Aug 9, 2021
@rokonec rokonec merged commit b9424d9 into dotnet:main Aug 11, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants