Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

Masaki Hara (qnighy@qnmd.info)'s status on Tuesday, 26-Feb-2019 10:26:48 JST Masaki Hara

https://github.com/rust-lang/rust/issues/58733
その部分に処理が行くことがないことをあらわす ! 型は確定してない部分があって未だunstableである。しかしトリッキーなコードによりそのチェックをすり抜けられてしまうことがわかったようだ。
In conversation Tuesday, 26-Feb-2019 10:26:48 JST from qnmd.info permalink
Attachments
1. The never type can be named despite its feature gate · Issue #58733 · rust-lang/rust
  
  from GitHub
  
  Reported by @xfix in #33417 (comment). trait MyTrait { type Output; } impl<T> MyTrait for fn() -> T { type Output = T; } type Void = <fn() -> ! as MyTrait>::Output; fn main() { le...

Feeds