git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Esteban Kuber <esteban@kuber.com.ar>
	Wed, 13 Oct 2021 13:58:41 +0000 (13:58 +0000)
committer	Esteban Kuber <esteban@kuber.com.ar>
	Thu, 24 Mar 2022 02:08:49 +0000 (02:08 +0000)
commit	5fd37862d95a7fd898342e49ae5273edc8886b83
tree	fe52310640ff222ce511fc596d06c447b68863ef	tree \| snapshot
parent	547369d3d881a9eb1de0d3e368f9a59aa7c648b0	commit \| diff

Properly track `ImplObligation`s

Instead of probing for all possible impls that could have caused an
`ImplObligation`, keep track of its `DefId` and obligation spans for
accurate error reporting.

Follow up to #89580. Addresses #89418.

Remove some unnecessary clones.

Tweak output for auto trait impl obligations.

24 files changed:

compiler/rustc_infer/src/infer/error_reporting/nice_region_error/mismatched_static_lifetime.rs		diff \| blob \| history
compiler/rustc_middle/src/traits/mod.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/traits/select/confirmation.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/traits/select/mod.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/compare_method.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/fn_ctxt/checks.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/method/probe.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/method/suggest.rs		diff \| blob \| history
compiler/rustc_typeck/src/lib.rs		diff \| blob \| history
src/test/ui/derives/derive-assoc-type-not-impl.stderr		diff \| blob \| history
src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.rs		diff \| blob \| history
src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.stderr		diff \| blob \| history
src/test/ui/hrtb/issue-30786.migrate.stderr		diff \| blob \| history
src/test/ui/hrtb/issue-30786.nll.stderr		diff \| blob \| history
src/test/ui/missing-trait-bounds/missing-trait-bounds-for-method-call.stderr		diff \| blob \| history
src/test/ui/rfc-2632-const-trait-impl/const-drop-fail.precise.stderr		diff \| blob \| history
src/test/ui/rfc-2632-const-trait-impl/const-drop-fail.stock.stderr		diff \| blob \| history
src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr		diff \| blob \| history
src/test/ui/traits/alias/cross-crate.stderr		diff \| blob \| history
src/test/ui/traits/inductive-overflow/supertrait-auto-trait.stderr		diff \| blob \| history
src/test/ui/union/union-derive-clone.mirunsafeck.stderr		diff \| blob \| history
src/test/ui/union/union-derive-clone.thirunsafeck.stderr		diff \| blob \| history
src/test/ui/wf/hir-wf-check-erase-regions.stderr		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom