Asteracea icon indicating copy to clipboard operation
Asteracea copied to clipboard
verified publisher icon Tamschi

Better `Unpin` constraints via `impl` collision

Open Tamschi opened this issue 5 years ago • 1 comments

If trait overlap detection was more accurate, it would be possible to forbid unsound Unpin implementations much more ergonomically (showing a very descriptive trait name with associated documentation in the error). However, this is currently blocked by https://github.com/rust-lang/rust/issues/50551 Coherence rules are not consistent when applied to auto traits issue status.

Alternatively, this pull request could be made obsolete using const asserts based on min_specialization, via https://github.com/rust-lang/rust/issues/31844 "Tracking issue for specialization (RFC 1210)" issue status.

Tamschi avatar Jan 02 '21 17:01 Tamschi

This can likely be done nicely using const panics now.

Tamschi avatar Jan 14 '22 22:01 Tamschi