2019-12-26 12:43:33 +00:00
|
|
|
//@ run-rustfix
|
|
|
|
|
2020-09-02 07:40:56 +00:00
|
|
|
#[allow(unused)]
|
|
|
|
use std::fmt::Debug;
|
|
|
|
// Rustfix should add this, or use `std::fmt::Debug` instead.
|
|
|
|
|
2019-12-26 12:43:33 +00:00
|
|
|
#[allow(dead_code)]
|
2021-03-30 09:56:39 +00:00
|
|
|
fn test_impl(t: impl Sized + std::fmt::Debug) {
|
2019-12-26 12:43:33 +00:00
|
|
|
println!("{:?}", t);
|
|
|
|
//~^ ERROR doesn't implement
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(dead_code)]
|
2021-03-30 09:56:39 +00:00
|
|
|
fn test_no_bounds<T: std::fmt::Debug>(t: T) {
|
2019-12-26 12:43:33 +00:00
|
|
|
println!("{:?}", t);
|
|
|
|
//~^ ERROR doesn't implement
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(dead_code)]
|
2021-03-30 09:56:39 +00:00
|
|
|
fn test_one_bound<T: Sized + std::fmt::Debug>(t: T) {
|
2019-12-26 12:43:33 +00:00
|
|
|
println!("{:?}", t);
|
|
|
|
//~^ ERROR doesn't implement
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(dead_code)]
|
2021-03-30 09:56:39 +00:00
|
|
|
fn test_no_bounds_where<X, Y>(x: X, y: Y) where X: std::fmt::Debug, Y: std::fmt::Debug {
|
2019-12-26 12:43:33 +00:00
|
|
|
println!("{:?} {:?}", x, y);
|
|
|
|
//~^ ERROR doesn't implement
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(dead_code)]
|
2021-03-30 09:56:39 +00:00
|
|
|
fn test_one_bound_where<X>(x: X) where X: Sized + std::fmt::Debug {
|
2019-12-26 12:43:33 +00:00
|
|
|
println!("{:?}", x);
|
|
|
|
//~^ ERROR doesn't implement
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(dead_code)]
|
2022-03-14 14:56:37 +00:00
|
|
|
fn test_many_bounds_where<X>(x: X) where X: Sized + std::fmt::Debug, X: Sized {
|
2019-12-26 12:43:33 +00:00
|
|
|
println!("{:?}", x);
|
|
|
|
//~^ ERROR doesn't implement
|
|
|
|
}
|
|
|
|
|
2024-02-07 02:42:01 +00:00
|
|
|
#[allow(dead_code)]
|
2021-01-19 20:44:49 +00:00
|
|
|
trait Foo<T>: Sized {
|
|
|
|
const SIZE: usize = core::mem::size_of::<Self>();
|
|
|
|
//~^ ERROR the size for values of type `Self` cannot be known at compilation time
|
|
|
|
}
|
|
|
|
|
2024-02-07 02:42:01 +00:00
|
|
|
#[allow(dead_code)]
|
2021-01-19 20:44:49 +00:00
|
|
|
trait Bar: std::fmt::Display + Sized {
|
|
|
|
const SIZE: usize = core::mem::size_of::<Self>();
|
|
|
|
//~^ ERROR the size for values of type `Self` cannot be known at compilation time
|
|
|
|
}
|
|
|
|
|
2024-02-07 02:42:01 +00:00
|
|
|
#[allow(dead_code)]
|
2021-01-19 20:44:49 +00:00
|
|
|
trait Baz: Sized where Self: std::fmt::Display {
|
|
|
|
const SIZE: usize = core::mem::size_of::<Self>();
|
|
|
|
//~^ ERROR the size for values of type `Self` cannot be known at compilation time
|
|
|
|
}
|
|
|
|
|
2024-02-07 02:42:01 +00:00
|
|
|
#[allow(dead_code)]
|
2021-01-19 20:44:49 +00:00
|
|
|
trait Qux<T>: Sized where Self: std::fmt::Display {
|
|
|
|
const SIZE: usize = core::mem::size_of::<Self>();
|
|
|
|
//~^ ERROR the size for values of type `Self` cannot be known at compilation time
|
|
|
|
}
|
|
|
|
|
2024-02-07 02:42:01 +00:00
|
|
|
#[allow(dead_code)]
|
2021-01-19 20:44:49 +00:00
|
|
|
trait Bat<T>: std::fmt::Display + Sized {
|
|
|
|
const SIZE: usize = core::mem::size_of::<Self>();
|
|
|
|
//~^ ERROR the size for values of type `Self` cannot be known at compilation time
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() { }
|