diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:13 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:13 +0000 |
commit | 218caa410aa38c29984be31a5229b9fa717560ee (patch) | |
tree | c54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/type/type-check-defaults.rs | |
parent | Releasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff) | |
download | rustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip |
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/type/type-check-defaults.rs')
-rw-r--r-- | src/test/ui/type/type-check-defaults.rs | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/src/test/ui/type/type-check-defaults.rs b/src/test/ui/type/type-check-defaults.rs deleted file mode 100644 index 6a0a7ed33..000000000 --- a/src/test/ui/type/type-check-defaults.rs +++ /dev/null @@ -1,27 +0,0 @@ -use std::iter::FromIterator; -use std::vec::IntoIter; -use std::ops::Add; - -struct Foo<T, U: FromIterator<T>>(T, U); -struct WellFormed<Z = Foo<i32, i32>>(Z); -//~^ ERROR a value of type `i32` cannot be built from an iterator over elements of type `i32` -struct WellFormedNoBounds<Z:?Sized = Foo<i32, i32>>(Z); -//~^ ERROR a value of type `i32` cannot be built from an iterator over elements of type `i32` - -struct Bounds<T:Copy=String>(T); -//~^ ERROR the trait bound `String: Copy` is not satisfied [E0277] - -struct WhereClause<T=String>(T) where T: Copy; -//~^ ERROR the trait bound `String: Copy` is not satisfied [E0277] - -trait TraitBound<T:Copy=String> {} -//~^ ERROR the trait bound `String: Copy` is not satisfied [E0277] - -trait Super<T: Copy> { } -trait Base<T = String>: Super<T> { } -//~^ ERROR the trait bound `T: Copy` is not satisfied [E0277] - -trait ProjectionPred<T:Iterator = IntoIter<i32>> where T::Item : Add<u8> {} -//~^ ERROR cannot add `u8` to `i32` [E0277] - -fn main() { } |