diff options
| author | scalexm <martin.alex32@hotmail.fr> | 2018-10-03 11:47:09 +0200 |
|---|---|---|
| committer | scalexm <martin.alex32@hotmail.fr> | 2018-10-03 13:57:47 +0200 |
| commit | 832797689012ca63a7c9a7acdc7a4f34322d4faf (patch) | |
| tree | 2ba255d75bb953a1f6a8a5fd990f6d61f92f7ecb /src/test | |
| parent | e812ca472a2a5284e9f15cd9af32285d7ff3fd39 (diff) | |
| download | rust-832797689012ca63a7c9a7acdc7a4f34322d4faf.tar.gz rust-832797689012ca63a7c9a7acdc7a4f34322d4faf.zip | |
Remove duplicate predicates in `explicit_predicates_of`
Fixes #52187.
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/chalkify/lower_env1.stderr | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/test/ui/chalkify/lower_env1.stderr b/src/test/ui/chalkify/lower_env1.stderr index d6673f6a8a6..4a3e14ac034 100644 --- a/src/test/ui/chalkify/lower_env1.stderr +++ b/src/test/ui/chalkify/lower_env1.stderr @@ -5,9 +5,8 @@ LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar). - = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar). = note: Implemented(Self: Bar) :- FromEnv(Self: Bar). - = note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo), WellFormed(Self: Foo). + = note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo). error: program clause dump --> $DIR/lower_env1.rs:19:1 @@ -16,11 +15,10 @@ LL | #[rustc_dump_env_program_clauses] //~ ERROR program clause dump | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar). - = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar). = note: Implemented(Self: Bar) :- FromEnv(Self: Bar). = note: Implemented(Self: Foo) :- FromEnv(Self: Foo). = note: Implemented(Self: std::marker::Sized) :- FromEnv(Self: std::marker::Sized). - = note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo), WellFormed(Self: Foo). + = note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo). = note: WellFormed(Self: Foo) :- Implemented(Self: Foo). = note: WellFormed(Self: std::marker::Sized) :- Implemented(Self: std::marker::Sized). |