Skip to content

Commit f5f97b3

Browse files
committed
update tests
1 parent b9c6dba commit f5f97b3

File tree

2 files changed

+3
-6
lines changed

2 files changed

+3
-6
lines changed

src/test/ui/chalkify/lower_env1.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump
77
= note: FromEnv(Self: Foo) :- FromEnv(Self: Bar).
88
= note: FromEnv(Self: Foo) :- FromEnv(Self: Bar).
99
= note: Implemented(Self: Bar) :- FromEnv(Self: Bar).
10-
= note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Bar), WellFormed(Self: Foo).
10+
= note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo), WellFormed(Self: Foo).
1111

1212
error: program clause dump
1313
--> $DIR/lower_env1.rs:19:1
@@ -20,7 +20,7 @@ LL | #[rustc_dump_env_program_clauses] //~ ERROR program clause dump
2020
= note: Implemented(Self: Bar) :- FromEnv(Self: Bar).
2121
= note: Implemented(Self: Foo) :- FromEnv(Self: Foo).
2222
= note: Implemented(Self: std::marker::Sized) :- FromEnv(Self: std::marker::Sized).
23-
= note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Bar), WellFormed(Self: Foo).
23+
= note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo), WellFormed(Self: Foo).
2424
= note: WellFormed(Self: Foo) :- Implemented(Self: Foo).
2525
= note: WellFormed(Self: std::marker::Sized) :- Implemented(Self: std::marker::Sized).
2626

src/test/ui/chalkify/lower_trait_higher_rank.stderr

+1-4
Original file line numberDiff line numberDiff line change
@@ -8,10 +8,7 @@ LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump
88
= note: FromEnv(F: std::ops::Fn<(&'a (u8, u16),)>) :- FromEnv(Self: Foo<F>).
99
= note: Implemented(Self: Foo<F>) :- FromEnv(Self: Foo<F>).
1010
= note: ProjectionEq(<F as std::ops::FnOnce<(&'a (u8, u16),)>>::Output == &'a u8) :- FromEnv(Self: Foo<F>).
11-
= note: WellFormed(Self: Foo<F>) :- Implemented(Self: Foo<F>), WellFormed(F: std::marker::Sized).
12-
= note: WellFormed(Self: Foo<F>) :- Implemented(Self: Foo<F>), forall<> { WellFormed(<F as std::ops::FnOnce<(&'a (u8, u16),)>>::Output == &'a u8) }.
13-
= note: WellFormed(Self: Foo<F>) :- Implemented(Self: Foo<F>), forall<> { WellFormed(F: std::ops::Fn<(&'a (u8, u16),)>) }.
14-
= note: WellFormed(Self: Foo<F>) :- Implemented(Self: Foo<F>), WellFormed(F: std::marker::Sized), forall<> { WellFormed(F: std::ops::Fn<(&'a (u8, u16),)>) }, forall<> { WellFormed(<F as std::ops::FnOnce<(&'a (u8, u16),)>>::Output == &'a u8) }.
11+
= note: WellFormed(Self: Foo<F>) :- Implemented(Self: Foo<F>), WellFormed(F: std::marker::Sized), forall<> { WellFormed(F: std::ops::Fn<(&'a (u8, u16),)>) }, forall<> { ProjectionEq(<F as std::ops::FnOnce<(&'a (u8, u16),)>>::Output == &'a u8) }.
1512

1613
error: aborting due to previous error
1714

0 commit comments

Comments
 (0)