diff --git a/ices/78561.rs b/ices/78561.rs new file mode 100644 index 00000000..dc4ee19e --- /dev/null +++ b/ices/78561.rs @@ -0,0 +1,759 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Code shared from the Rust Playground · GitHub + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ Skip to content + + + + + + + + + + +
+ +
+ + + + + +
+ + + +
+ + + + + + + + + +
+
+
+ + + +
+
+

+ Instantly share code, notes, and snippets. +

+
+
+ + +
+
+ + + +
+
+
+
+ @rust-play +
+
+

+ rust-play/playground.rs + + Secret +

+
+ Created Oct 30, 2020 +
+
+
+
+ + +
+ +
+ + + Star + + +
+ +
+
+ + +
+ +
+ +
+
+ +
+
+
+
+ + Embed + + +
+ What would you like to do? +
+
+
+
+ + +
+ Learn more about clone URLs +
+ +
+ +
+
+ + + +
+ +
+
+
+
+ +
+ +
+ +
+ + +
+ Download ZIP +
+
+
+ + +
+
+ +
+
+ +
+
+ Code shared from the Rust Playground +
+ + +
+
+
+
+ + Raw +
+
+ + + + + + playground.rs + + +
+
+ + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
#![feature(type_alias_impl_trait, member_constraints)]
+
pub trait Trait {
type A;
+
fn f() -> Self::A;
}
+
pub trait Tr2<'a, 'b> {}
+
pub struct A<T>(T);
pub trait Tr {
type B;
}
+
impl<'a, 'b, T: Tr<B = dyn Tr2<'a, 'b>>> Trait for A<T> {
type A = impl core::fmt::Debug;
+
fn f() -> Self::A {}
}
+ + +
+ +
+
+ + + +
+
+
+ + + +
+
+ +
+ +
+
+ Sign up for free + to join this conversation on GitHub. + Already have an account? + Sign in to comment +
+ +
+
+
+
+
+
+ +
+
+ +
+ + + + + + +
+ + + You can’t perform that action at this time. +
+ + + + + + + + + + + + +