diff options
| author | Ellen <supbscripter@gmail.com> | 2021-10-21 00:16:49 +0100 |
|---|---|---|
| committer | Ellen <supbscripter@gmail.com> | 2021-10-21 00:16:49 +0100 |
| commit | e7a9e820d28e02d63065aeb1f961e1d8ba83759d (patch) | |
| tree | 74031517518f1c6e8a32303c0b29b363a7debfd1 | |
| parent | c75d8cb2126f9ac4716059792d053c6a9f76dc9d (diff) | |
| download | rust-e7a9e820d28e02d63065aeb1f961e1d8ba83759d.tar.gz rust-e7a9e820d28e02d63065aeb1f961e1d8ba83759d.zip | |
*dust dust*
| -rw-r--r-- | src/test/ui/const-generics/defaults/trait_objects.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/const-generics/defaults/wfness.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/test/ui/const-generics/defaults/trait_objects.rs b/src/test/ui/const-generics/defaults/trait_objects.rs index 9ba928c43c5..e36f23fadb2 100644 --- a/src/test/ui/const-generics/defaults/trait_objects.rs +++ b/src/test/ui/const-generics/defaults/trait_objects.rs @@ -39,7 +39,7 @@ fn bar<const N: u8>(arg: &dyn Traitor<N>) -> u8 { fn main() { assert_eq!(foo(&10_u32), 12); assert_eq!(foo(&3_u64), 3); - + assert_eq!(bar(&true), 2); assert_eq!(bar(&1_u8), 1); } diff --git a/src/test/ui/const-generics/defaults/wfness.rs b/src/test/ui/const-generics/defaults/wfness.rs index d2b53eaf929..c171f292fd6 100644 --- a/src/test/ui/const-generics/defaults/wfness.rs +++ b/src/test/ui/const-generics/defaults/wfness.rs @@ -11,7 +11,7 @@ struct WhereClause<const N: u8 = 2> where (): Trait<N>; trait Traitor<T, const N: u8> {} struct WhereClauseTooGeneric<T = u32, const N: u8 = 2>(T) where (): Traitor<T, N>; -// no error on struct def +// no error on struct def struct DependentDefaultWfness<const N: u8 = 1, T = WhereClause<N>>(T); fn foo() -> DependentDefaultWfness { //~^ error: the trait bound `(): Trait<1_u8>` is not satisfied |