mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

improve comment

Browse Source
This commit is contained in:
Ariel Ben-Yehuda 2019-09-18 19:37:26 +03:00
parent d7eb562080
commit 5de1fafb15
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/test/ui/traits/reservation-impls/reservation-impl-non-lattice-ok.rs
View File

@ -16,10 +16,10 @@
// thing we thought about - see e.g. // thing we thought about - see e.g.
// https://github.com/rust-lang/rust/issues/57012#issuecomment-452150775 // https://github.com/rust-lang/rust/issues/57012#issuecomment-452150775
// //
// 2. The other way is to notice that `impl From<!> for T` is basically a marker // 2. The other way is to notice that `impl From<!> for T` is basically a
// trait, as you say since its only method is uninhabited, and allow for "marker // marker trait since its only method is uninhabited, and allow for "marker
// trait overlap", where the conflict "doesn't matter" as there is nothing that // trait overlap", where the conflict "doesn't matter" because it can't
// can cause a conflict. // actually cause any ambiguity.
// //
// Now it turned out lattice specialization doesn't work it, because an // Now it turned out lattice specialization doesn't work it, because an
// `impl<T> From<T> for Smaht<T>` would require a `impl From<!> for Smaht<!>`, // `impl<T> From<T> for Smaht<T>` would require a `impl From<!> for Smaht<!>`,