Esteban Kuber 6b9d910639 Point at source of trait bound obligations in more places ... Be more thorough in using `ItemObligation` and `BindingObligation` when evaluating obligations so that we can point at trait bounds that introduced unfulfilled obligations. We no longer incorrectly point at unrelated trait bounds (`substs-ppaux.verbose.stderr`). In particular, we now point at trait bounds on method calls. We no longer point at "obvious" obligation sources (we no longer have a note pointing at `Trait` saying "required by a bound in `Trait`", like in `associated-types-no-suitable-supertrait*`). Address part of #89418.		2021-11-20 18:54:31 +00:00
..
arithmetic.rs	Fix various Chalk lowering bugs	2020-10-30 19:39:33 +00:00
basic.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
builtin-copy-clone.rs	impl Copy/Clone for arrays in std, not in compiler	2021-11-08 13:11:58 -05:00
chalk_initial_program.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
chalk_initial_program.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
closure.rs	Update Chalk	2020-06-24 00:48:33 -04:00
closure.stderr	Update Chalk	2020-06-24 00:48:33 -04:00
generic_impls.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
generic_impls.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
impl_wf.rs	Separate bounds and predicates for associated/opaque types	2020-10-06 11:19:29 +01:00
impl_wf.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
impl_wf_2.rs	Separate bounds and predicates for associated/opaque types	2020-10-06 11:19:29 +01:00
impl_wf_2.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
inherent_impl.rs	Update Chalk	2020-06-24 00:48:33 -04:00
inherent_impl_min.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_env1.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_env2.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_env3.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_impl.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_struct.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_trait.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_trait_higher_rank.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_trait_where_clause.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
println.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
projection.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
recursive_where_clause_on_type.rs	Update Chalk	2020-06-24 00:48:33 -04:00
recursive_where_clause_on_type.stderr	Update Chalk	2020-06-24 00:48:33 -04:00
super_trait.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
trait-objects.rs	Fix various Chalk lowering bugs	2020-10-30 19:39:33 +00:00
trait_implied_bound.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
type_implied_bound.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
type_inference.rs	Upgrade chalk to 0.21	2020-09-04 19:12:54 -04:00
type_inference.stderr	Point at call span that introduced obligation for the arg	2021-09-16 12:12:27 +00:00
type_wf.rs	Upgrade chalk to 0.21	2020-09-04 19:12:54 -04:00
type_wf.stderr	Point at source of trait bound obligations in more places	2021-11-20 18:54:31 +00:00