{"action":"opened","issue":{"url":"https://api.github.com/repos/dotnet/roslyn/issues/30078","repository_url":"https://api.github.com/repos/dotnet/roslyn","labels_url":"https://api.github.com/repos/dotnet/roslyn/issues/30078/labels{/name}","comments_url":"https://api.github.com/repos/dotnet/roslyn/issues/30078/comments","events_url":"https://api.github.com/repos/dotnet/roslyn/issues/30078/events","html_url":"https://github.com/dotnet/roslyn/issues/30078","id":362358571,"node_id":"MDU6SXNzdWUzNjIzNTg1NzE=","number":30078,"title":"Follow up on a PROTOTYPE comment in SourceComplexParameterSymbol.FlowAnalysisAnnotations","user":{"login":"AlekseyTs","id":10522107,"node_id":"MDQ6VXNlcjEwNTIyMTA3","avatar_url":"https://avatars0.githubusercontent.com/u/10522107?v=4","gravatar_id":"","url":"https://api.github.com/users/AlekseyTs","html_url":"https://github.com/AlekseyTs","followers_url":"https://api.github.com/users/AlekseyTs/followers","following_url":"https://api.github.com/users/AlekseyTs/following{/other_user}","gists_url":"https://api.github.com/users/AlekseyTs/gists{/gist_id}","starred_url":"https://api.github.com/users/AlekseyTs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AlekseyTs/subscriptions","organizations_url":"https://api.github.com/users/AlekseyTs/orgs","repos_url":"https://api.github.com/users/AlekseyTs/repos","events_url":"https://api.github.com/users/AlekseyTs/events{/privacy}","received_events_url":"https://api.github.com/users/AlekseyTs/received_events","type":"User","site_admin":false},"labels":[{"id":166673288,"node_id":"MDU6TGFiZWwxNjY2NzMyODg=","url":"https://api.github.com/repos/dotnet/roslyn/labels/Area-Compilers","name":"Area-Compilers","color":"5319e7","default":false},{"id":166377946,"node_id":"MDU6TGFiZWwxNjYzNzc5NDY=","url":"https://api.github.com/repos/dotnet/roslyn/labels/Language-C%23","name":"Language-C#","color":"1d76db","default":false},{"id":344899605,"node_id":"MDU6TGFiZWwzNDQ4OTk2MDU=","url":"https://api.github.com/repos/dotnet/roslyn/labels/New%20Language%20Feature%20-%20Nullable%20Reference%20Types","name":"New Language Feature - Nullable Reference Types","color":"bfd4f2","default":false},{"id":177731791,"node_id":"MDU6TGFiZWwxNzc3MzE3OTE=","url":"https://api.github.com/repos/dotnet/roslyn/labels/Test","name":"Test","color":"e52727","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-09-20T20:45:31Z","updated_at":"2018-09-20T20:45:31Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"```\r\n        internal override FlowAnalysisAnnotations FlowAnalysisAnnotations\r\n        {\r\n            get\r\n            {\r\n                FlowAnalysisAnnotations? annotations = TryGetExtraAttributeAnnotations();\r\n                if (annotations.HasValue)\r\n                {\r\n                    // PROTOTYPE(NullableReferenceTypes): Make sure this is covered by test\r\n                    return annotations.Value;\r\n                }\r\n\r\n                ParameterWellKnownAttributeData attributeData = GetDecodedWellKnownAttributeData();\r\n                bool hasEnsuresNotNull = attributeData?.HasEnsuresNotNullAttribute == true;\r\n\r\n                return FlowAnalysisAnnotationsFacts.Create(\r\n                    notNullWhenTrue: hasEnsuresNotNull || attributeData?.HasNotNullWhenTrueAttribute == true,\r\n                    notNullWhenFalse: hasEnsuresNotNull || attributeData?.HasNotNullWhenFalseAttribute == true,\r\n                    assertsTrue: attributeData?.HasAssertsTrueAttribute == true,\r\n                    assertsFalse: attributeData?.HasAssertsFalseAttribute == true);\r\n            }\r\n        }\r\n```"}}
{"actor":{"display_login":"AlekseyTs"}}