blob: fb547c27e1d112b6780e7bf5b599fe6651e2548e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
//@ run-rustfix
#[allow(unused)]
use std::fmt::Debug;
// Rustfix should add this, or use `std::fmt::Debug` instead.
#[allow(dead_code)]
fn test_impl(t: impl Sized) {
println!("{:?}", t);
//~^ ERROR doesn't implement
}
#[allow(dead_code)]
fn test_no_bounds<T>(t: T) {
println!("{:?}", t);
//~^ ERROR doesn't implement
}
#[allow(dead_code)]
fn test_one_bound<T: Sized>(t: T) {
println!("{:?}", t);
//~^ ERROR doesn't implement
}
#[allow(dead_code)]
fn test_no_bounds_where<X, Y>(x: X, y: Y) where X: std::fmt::Debug, {
println!("{:?} {:?}", x, y);
//~^ ERROR doesn't implement
}
#[allow(dead_code)]
fn test_one_bound_where<X>(x: X) where X: Sized {
println!("{:?}", x);
//~^ ERROR doesn't implement
}
#[allow(dead_code)]
fn test_many_bounds_where<X>(x: X) where X: Sized, X: Sized {
println!("{:?}", x);
//~^ ERROR doesn't implement
}
#[allow(dead_code)]
trait Foo<T> {
const SIZE: usize = core::mem::size_of::<Self>();
//~^ ERROR the size for values of type `Self` cannot be known at compilation time
}
#[allow(dead_code)]
trait Bar: 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
}
#[allow(dead_code)]
trait Baz 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
}
#[allow(dead_code)]
trait Qux<T> 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
}
#[allow(dead_code)]
trait Bat<T>: 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
}
fn main() { }
|
