diff options
| author | Ellen <supbscripter@gmail.com> | 2021-01-27 14:46:43 +0000 |
|---|---|---|
| committer | Ellen <supbscripter@gmail.com> | 2021-01-27 14:46:43 +0000 |
| commit | f4261772d8d4e2d4fb7e9dd4685b995a7176e506 (patch) | |
| tree | f38c3b734dc4ee7e7bd971f318111c7bc1ce162f /src/test/ui/const-generics/const_evaluatable_checked | |
| parent | b0625eb7127683e301c37e3d7fb8e3c8a6f66456 (diff) | |
| download | rust-f4261772d8d4e2d4fb7e9dd4685b995a7176e506.tar.gz rust-f4261772d8d4e2d4fb7e9dd4685b995a7176e506.zip | |
comments
Diffstat (limited to 'src/test/ui/const-generics/const_evaluatable_checked')
4 files changed, 8 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/const_evaluatable_checked/nested-abstract-consts-1.rs b/src/test/ui/const-generics/const_evaluatable_checked/nested-abstract-consts-1.rs index 124cd317da5..0fe84c1cd2a 100644 --- a/src/test/ui/const-generics/const_evaluatable_checked/nested-abstract-consts-1.rs +++ b/src/test/ui/const-generics/const_evaluatable_checked/nested-abstract-consts-1.rs @@ -20,3 +20,5 @@ where fn main() { assert_eq!(caller::<4>(), 5); } + +// Test that the ``(N1 + 1) + 1`` bound on ``caller`` satisfies the ``M2 + 1`` bound on ``callee`` diff --git a/src/test/ui/const-generics/const_evaluatable_checked/nested-abstract-consts-2.rs b/src/test/ui/const-generics/const_evaluatable_checked/nested-abstract-consts-2.rs index 5936662dadb..fe5c2237a76 100644 --- a/src/test/ui/const-generics/const_evaluatable_checked/nested-abstract-consts-2.rs +++ b/src/test/ui/const-generics/const_evaluatable_checked/nested-abstract-consts-2.rs @@ -30,3 +30,5 @@ where fn main() { assert_eq!((Generic::<10>).bar(), 11); } + +// Test that the ``ConstU64<{ K + 1 - 1}>`` bound on ``bar``'s impl block satisfies the ``ConstU64<{K - 1}>`` bound on ``foo``'s impl block diff --git a/src/test/ui/const-generics/const_evaluatable_checked/nested_uneval_unification-1.rs b/src/test/ui/const-generics/const_evaluatable_checked/nested_uneval_unification-1.rs index ff0f2efaee9..f686bfd1d2b 100644 --- a/src/test/ui/const-generics/const_evaluatable_checked/nested_uneval_unification-1.rs +++ b/src/test/ui/const-generics/const_evaluatable_checked/nested_uneval_unification-1.rs @@ -30,3 +30,5 @@ where fn main() { assert_eq!(substs3::<2>().0, [0; 3]); } + +// Test that the ``{ (L - 1) * 2 + 1 }`` bound on ``substs3`` satisfies the ``{ N + 1 }`` bound on ``Substs1`` diff --git a/src/test/ui/const-generics/const_evaluatable_checked/nested_uneval_unification-2.rs b/src/test/ui/const-generics/const_evaluatable_checked/nested_uneval_unification-2.rs index 806f7ba9203..4cdfb107417 100644 --- a/src/test/ui/const-generics/const_evaluatable_checked/nested_uneval_unification-2.rs +++ b/src/test/ui/const-generics/const_evaluatable_checked/nested_uneval_unification-2.rs @@ -24,3 +24,5 @@ fn substs3<const L: usize>() -> Substs1<{ (L) }> { fn main() { assert_eq!(substs3::<2>().0, [0; 2]); } + +// Test that the implicit ``{ (L) }`` bound on ``substs3`` satisfies the ``{ (N) }`` bound on ``Substs1`` |