diff options
| author | scalexm <martin.alex32@hotmail.fr> | 2018-06-07 14:45:09 +0200 |
|---|---|---|
| committer | scalexm <martin.alex32@hotmail.fr> | 2018-06-07 14:45:09 +0200 |
| commit | 796ded2dfd2c042fc355c22558881fc7b6ed00cf (patch) | |
| tree | 879d9b8928081a745b7b23e6e4a61f4b9a8504bf /src/test/ui/chalkify/lower_struct.stderr | |
| parent | 09f6cb93caedbb7b4368587308574fcd69503e81 (diff) | |
| download | rust-796ded2dfd2c042fc355c22558881fc7b6ed00cf.tar.gz rust-796ded2dfd2c042fc355c22558881fc7b6ed00cf.zip | |
Add tests for `WellFormed-Type` and `FromEnv-Type` rules
Diffstat (limited to 'src/test/ui/chalkify/lower_struct.stderr')
| -rw-r--r-- | src/test/ui/chalkify/lower_struct.stderr | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/test/ui/chalkify/lower_struct.stderr b/src/test/ui/chalkify/lower_struct.stderr new file mode 100644 index 00000000000..d6cc9c8e9a4 --- /dev/null +++ b/src/test/ui/chalkify/lower_struct.stderr @@ -0,0 +1,12 @@ +error: program clause dump + --> $DIR/lower_struct.rs:13:1 + | +LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | + = note: FromEnv(T: std::marker::Sized) :- FromEnv(Foo<T>). + = note: FromEnv(std::boxed::Box<T>: std::clone::Clone) :- FromEnv(Foo<T>). + = note: WellFormed(Foo<T>) :- Implemented(T: std::marker::Sized), Implemented(std::boxed::Box<T>: std::clone::Clone). + +error: aborting due to previous error + |