We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d488de8 commit df8a643Copy full SHA for df8a643
src/test/ui/type-alias-impl-trait/unused_generic_param.rs
@@ -1,16 +1,17 @@
1
+// check-pass
2
+
3
#![feature(type_alias_impl_trait)]
4
+#![allow(dead_code)]
5
6
fn main() {}
7
-type PartiallyDefined<T> = impl 'static;
-//~^ ERROR: at least one trait must be specified
8
+type PartiallyDefined<T> = impl Sized;
9
10
fn partially_defined<T: std::fmt::Debug>(_: T) -> PartiallyDefined<T> {
11
4u32
12
}
13
-type PartiallyDefined2<T> = impl 'static;
14
+type PartiallyDefined2<T> = impl Sized;
15
16
fn partially_defined2<T: std::fmt::Debug>(_: T) -> PartiallyDefined2<T> {
17
src/test/ui/type-alias-impl-trait/unused_generic_param.stderr
0 commit comments