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
..
hir-wf-check-erase-regions.rs	Support incremental in compiletest for non-incremental modes.	2021-09-23 12:16:51 -07:00
hir-wf-check-erase-regions.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
issue-48638.rs
issue-87495.rs	Fix ICE in diagnostic_hir_wf_check	2021-07-28 01:41:52 +02:00
issue-87495.stderr	Move object safety suggestions to the end of the error	2021-09-15 14:48:53 +00:00
wf-array-elem-sized.rs
wf-array-elem-sized.stderr
wf-complex-assoc-type.rs	Add initial implementation of HIR-based WF checking for diagnostics	2021-07-16 16:29:02 -05:00
wf-complex-assoc-type.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-const-type.rs
wf-const-type.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-convert-unsafe-trait-obj-box.rs
wf-convert-unsafe-trait-obj-box.stderr
wf-convert-unsafe-trait-obj.rs
wf-convert-unsafe-trait-obj.stderr
wf-enum-bound.rs
wf-enum-bound.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-enum-fields-struct-variant.rs
wf-enum-fields-struct-variant.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-enum-fields.rs
wf-enum-fields.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-fn-where-clause.rs
wf-fn-where-clause.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-foreign-fn-decl-ret.rs
wf-foreign-fn-decl-ret.stderr	Point at source of trait bound obligations in more places	2021-11-20 18:54:31 +00:00
wf-impl-associated-type-region.rs
wf-impl-associated-type-region.stderr	Use a more accurate span on assoc types WF checks	2021-08-12 10:02:36 +00:00
wf-impl-associated-type-trait.rs
wf-impl-associated-type-trait.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-impl-self-type.rs
wf-impl-self-type.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-in-fn-arg.rs
wf-in-fn-arg.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-in-fn-ret.rs
wf-in-fn-ret.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-in-fn-type-arg.rs
wf-in-fn-type-arg.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-in-fn-type-ret.rs
wf-in-fn-type-ret.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-in-fn-type-static.rs
wf-in-fn-type-static.stderr
wf-in-fn-where-clause.rs
wf-in-fn-where-clause.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-in-foreign-fn-decls-issue-80468.rs	Better diagnostics when mismatched types due to implict static lifetime	2021-07-19 18:20:21 -04:00
wf-in-foreign-fn-decls-issue-80468.stderr	Remove textual span from diagnostic string	2021-10-13 10:53:44 +00:00
wf-in-obj-type-static.rs
wf-in-obj-type-static.stderr
wf-in-obj-type-trait.rs
wf-in-obj-type-trait.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-inherent-impl-method-where-clause.rs
wf-inherent-impl-method-where-clause.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-inherent-impl-where-clause.rs
wf-inherent-impl-where-clause.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-misc-methods-issue-28609.rs
wf-misc-methods-issue-28609.stderr
wf-object-safe.rs
wf-object-safe.stderr	Move object safety suggestions to the end of the error	2021-09-15 14:48:53 +00:00
wf-outlives-ty-in-fn-or-trait.rs
wf-outlives-ty-in-fn-or-trait.stderr	Use a more accurate span on assoc types WF checks	2021-08-12 10:02:36 +00:00
wf-packed-on-proj-of-type-as-unimpl-trait.rs
wf-packed-on-proj-of-type-as-unimpl-trait.stderr
wf-static-method.nll.stderr	Adjust self-type to require equality	2021-05-21 10:16:53 -04:00
wf-static-method.rs	Adjust self-type to require equality	2021-05-21 10:16:53 -04:00
wf-static-method.stderr	Remove textual span from diagnostic string	2021-10-13 10:53:44 +00:00
wf-static-type.rs
wf-static-type.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-struct-bound.rs
wf-struct-bound.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-struct-field.rs
wf-struct-field.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-trait-associated-type-bound.rs
wf-trait-associated-type-bound.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-trait-associated-type-region.rs
wf-trait-associated-type-region.stderr	Use a more accurate span on assoc types WF checks	2021-08-12 10:02:36 +00:00
wf-trait-associated-type-trait.rs	Extend HIR-based WF checking to associated type defaults	2021-07-18 10:36:54 -05:00
wf-trait-associated-type-trait.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-trait-bound.rs
wf-trait-bound.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-trait-default-fn-arg.rs
wf-trait-default-fn-arg.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-trait-default-fn-ret.rs
wf-trait-default-fn-ret.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-trait-default-fn-where-clause.rs
wf-trait-default-fn-where-clause.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-trait-fn-arg.rs
wf-trait-fn-arg.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-trait-fn-ret.rs
wf-trait-fn-ret.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-trait-fn-where-clause.rs
wf-trait-fn-where-clause.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-trait-superbound.rs
wf-trait-superbound.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
wf-unsafe-trait-obj-match.rs
wf-unsafe-trait-obj-match.stderr