{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rust/issues/35849","repository_url":"https://api.github.com/repos/rust-lang/rust","labels_url":"https://api.github.com/repos/rust-lang/rust/issues/35849/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rust/issues/35849/comments","events_url":"https://api.github.com/repos/rust-lang/rust/issues/35849/events","html_url":"https://github.com/rust-lang/rust/issues/35849","id":172253856,"number":35849,"title":"transmute +  diverging function regression","user":{"login":"Dushistov","id":156697,"avatar_url":"https://avatars.githubusercontent.com/u/156697?v=3","gravatar_id":"","url":"https://api.github.com/users/Dushistov","html_url":"https://github.com/Dushistov","followers_url":"https://api.github.com/users/Dushistov/followers","following_url":"https://api.github.com/users/Dushistov/following{/other_user}","gists_url":"https://api.github.com/users/Dushistov/gists{/gist_id}","starred_url":"https://api.github.com/users/Dushistov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Dushistov/subscriptions","organizations_url":"https://api.github.com/users/Dushistov/orgs","repos_url":"https://api.github.com/users/Dushistov/repos","events_url":"https://api.github.com/users/Dushistov/events{/privacy}","received_events_url":"https://api.github.com/users/Dushistov/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/rust-lang/rust/labels/regression-from-stable-to-beta","name":"regression-from-stable-to-beta","color":"FF309F"},{"url":"https://api.github.com/repos/rust-lang/rust/labels/T-compiler","name":"T-compiler","color":"bfd4f2"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2016-08-20T05:06:06Z","updated_at":"2016-08-20T22:20:11Z","closed_at":null,"body":"Such code:\r\n\r\n```\r\n#[allow(dead_code)]\r\nfn _assert_pointers_are_64bits() -> ! {\r\n    unsafe {\r\n        ::std::mem::transmute::<*const f64, [u8; 8]>(panic!())\r\n    }\r\n}\r\n\r\nfn main() {\r\n}\r\n```\r\n\r\ncompiled just fine with stable(1.11.0 (9b21dcd6a 2016-08-15)),\r\nbut failed with beta(rustc 1.12.0-beta.1 (822166b84 2016-08-16)) and\r\nnightly(rustc 1.13.0-nightly (499484f56 2016-08-18)) with such error:\r\n\r\n```\r\nerror[E0308]: mismatched types\r\n --> bug.rs:4:9\r\n  |\r\n4 |         ::std::mem::transmute::<*const f64, [u8; 8]>(panic!())\r\n  |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected !, found array of 8 elements\r\n  |\r\n  = note: expected type `!`\r\n  = note:    found type `[u8; 8]`\r\n\r\nerror: aborting due to previous error\r\n```"},"comment":{"url":"https://api.github.com/repos/rust-lang/rust/issues/comments/241227451","html_url":"https://github.com/rust-lang/rust/issues/35849#issuecomment-241227451","issue_url":"https://api.github.com/repos/rust-lang/rust/issues/35849","id":241227451,"user":{"login":"arielb1","id":1830974,"avatar_url":"https://avatars.githubusercontent.com/u/1830974?v=3","gravatar_id":"","url":"https://api.github.com/users/arielb1","html_url":"https://github.com/arielb1","followers_url":"https://api.github.com/users/arielb1/followers","following_url":"https://api.github.com/users/arielb1/following{/other_user}","gists_url":"https://api.github.com/users/arielb1/gists{/gist_id}","starred_url":"https://api.github.com/users/arielb1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/arielb1/subscriptions","organizations_url":"https://api.github.com/users/arielb1/orgs","repos_url":"https://api.github.com/users/arielb1/repos","events_url":"https://api.github.com/users/arielb1/events{/privacy}","received_events_url":"https://api.github.com/users/arielb1/received_events","type":"User","site_admin":false},"created_at":"2016-08-20T22:20:11Z","updated_at":"2016-08-20T22:20:11Z","body":"Nothing to do with `transmute`:\r\n```Rust\r\nfn _assert_pointers_are_64bits() -> ! {\r\n    [panic!()]\r\n}\r\n\r\nfn main() {}\r\n```\r\n\r\nStable has something that marks unreachable pointers as type variables."}}
{"actor":{"display_login":"arielb1"}}