We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c75d8cb commit e7a9e82Copy full SHA for e7a9e82
src/test/ui/const-generics/defaults/trait_objects.rs
@@ -39,7 +39,7 @@ fn bar<const N: u8>(arg: &dyn Traitor<N>) -> u8 {
39
fn main() {
40
assert_eq!(foo(&10_u32), 12);
41
assert_eq!(foo(&3_u64), 3);
42
-
+
43
assert_eq!(bar(&true), 2);
44
assert_eq!(bar(&1_u8), 1);
45
}
src/test/ui/const-generics/defaults/wfness.rs
@@ -11,7 +11,7 @@ struct WhereClause<const N: u8 = 2> where (): Trait<N>;
11
trait Traitor<T, const N: u8> {}
12
struct WhereClauseTooGeneric<T = u32, const N: u8 = 2>(T) where (): Traitor<T, N>;
13
14
-// no error on struct def
+// no error on struct def
15
struct DependentDefaultWfness<const N: u8 = 1, T = WhereClause<N>>(T);
16
fn foo() -> DependentDefaultWfness {
17
//~^ error: the trait bound `(): Trait<1_u8>` is not satisfied
0 commit comments