{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":37898905,"defaultBranch":"master","name":"rust","ownerLogin":"Aaron1011","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2015-06-23T05:21:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1408859?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1700868247.0","currentOid":""},"activityList":{"items":[{"before":"36404ce5c8d56e66824a14c8a553d9a5fae5079b","after":"b82416b184ae016f3c7d9b3576f5ce7c7b43daaf","ref":"refs/heads/ref-pat-never-coerce","pushedAt":"2023-11-26T21:28:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Aaron1011","name":"Aaron Hill","path":"/Aaron1011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408859?s=80&v=4"},"commit":{"message":"Allow coercions from never-type when ref binding is involved\n\nWhen we type-check a binding that uses ref patterns, we do not\nperform coercions between the expression type and the pattern type.\n\nHowever, this has the unfortunate result of disallow code like:\n`let Foo { ref my_field } = diverging_expr();`. This code is accepted\nwithout the `ref` keyword.\n\nWe now explicitly allow coercions when the expression type is !\nIn all other cases, we still avoid performing coersions.\nThis avoids causing broader changes in type-checking (with potential\nsoundness implications for 'ref mut'),","shortMessageHtmlLink":"Allow coercions from never-type when ref binding is involved"}},{"before":null,"after":"36404ce5c8d56e66824a14c8a553d9a5fae5079b","ref":"refs/heads/ref-pat-never-coerce","pushedAt":"2023-11-24T23:24:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Aaron1011","name":"Aaron Hill","path":"/Aaron1011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408859?s=80&v=4"},"commit":{"message":"Allow coercions from never-type when ref binding is involved\n\nWhen we type-check a binding that uses ref patterns, we do not\nperform coercions between the expression type and the pattern type.\n\nHowever, this has the unfortunate result of disallow code like:\n`let Foo { ref my_field } = diverging_expr();`. This code is accepted\nwithout the `ref` keyword.\n\nWe now explicitly allow coercions when the expression type is !\nIn all other cases, we still avoid performing coersions.\nThis avoids causing broader changes in type-checking (with potential\nsoundness implications for 'ref mut'),","shortMessageHtmlLink":"Allow coercions from never-type when ref binding is involved"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADuBj1BAA","startCursor":null,"endCursor":null}},"title":"Activity · Aaron1011/rust"}