Skip to content

inference: mark several no-throw results as pure#38199

Merged
vtjnash merged 1 commit intomasterfrom
jn/known-pure
Oct 28, 2020
Merged

inference: mark several no-throw results as pure#38199
vtjnash merged 1 commit intomasterfrom
jn/known-pure

Conversation

@vtjnash
Copy link
Member

@vtjnash vtjnash commented Oct 27, 2020

Closes #37230

@vtjnash vtjnash requested a review from Keno October 27, 2020 16:56
@vtjnash vtjnash merged commit f7dbd1c into master Oct 28, 2020
@vtjnash vtjnash deleted the jn/known-pure branch October 28, 2020 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants