Skip to content

Clarify the GetOutputFileName contract#48638

Merged
3 commits merged intodotnet:masterfrom
jaredpar:null2
Oct 26, 2020
Merged

Clarify the GetOutputFileName contract#48638
3 commits merged intodotnet:masterfrom
jaredpar:null2

Conversation

@jaredpar
Copy link
Member

@jaredpar jaredpar commented Oct 15, 2020

The GetOutputFileName consumption code requires the return to be
non-null yet the implementation appeared to allow null returns. This
change flips the return to be string! as well as reworking the code a
bit to make the guarantees the compilers are providing much clearer

closes #48599

@jaredpar jaredpar requested a review from a team as a code owner October 15, 2020 18:43
@jaredpar
Copy link
Member Author

@roslyn-compiler PTAL

@RikkiGibson RikkiGibson self-assigned this Oct 16, 2020
@ghost
Copy link

ghost commented Oct 16, 2020

Hello @jaredpar!

Because this pull request has the auto-merge label, I will be glad to assist with helping to merge this pull request once all check-in policies pass.

p.s. you can customize the way I help with merging this pull request, such as holding this pull request until a specific person approves. Simply @mention me (@msftbot) and give me an instruction to get started! Learn more here.

Copy link

@ghost ghost left a comment

Choose a reason for hiding this comment

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

Auto-approval

@333fred
Copy link
Member

333fred commented Oct 19, 2020

@jaredpar fyi, this didn't merge.

jaredpar and others added 3 commits October 26, 2020 13:55
The `GetOutputFileName` consumption code requires the return to be
non-null yet the implementation appeared to allow `null` returns. This
change flips the return to be `string!` as well as reworking the code a
bit to make the guarantees the compilers are providing much clearer
Co-authored-by: Rikki Gibson <rikkigibson@gmail.com>
@ghost ghost merged commit d8422f8 into dotnet:master Oct 26, 2020
@ghost ghost added this to the Next milestone Oct 26, 2020
@allisonchou allisonchou modified the milestones: Next, 16.9.P2 Nov 24, 2020
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

GetOutputfileName returns null but consumer requires non-null

5 participants