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

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

author	Esteban Kuber <esteban@kuber.com.ar>
	Tue, 28 Sep 2021 14:48:54 +0000 (14:48 +0000)
committer	Esteban Kuber <esteban@kuber.com.ar>
	Tue, 5 Oct 2021 23:34:13 +0000 (23:34 +0000)
commit	e8fc076f231699d9a44fc44a1e298ea4f70fdb48
tree	c4d83e0d4aa46d9c82d90f2cb50c98322ce5dafa	tree \| snapshot
parent	074f63648bd2368d5ca19aed02b5763a144e5d05	commit \| diff

Consider unfulfilled obligations in binop errors

When encountering a binop where the types would have been accepted, if
all the predicates had been fulfilled, include information about the
predicates and suggest appropriate `#[derive]`s if possible.

Point at trait(s) that needs to be `impl`emented.

27 files changed:

compiler/rustc_middle/src/ty/print/pretty.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/method/mod.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/method/suggest.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/op.rs		diff \| blob \| history
src/test/ui/assignment-operator-unimplemented.stderr		diff \| blob \| history
src/test/ui/binop/issue-28837.stderr		diff \| blob \| history
src/test/ui/derives/derives-span-PartialEq-enum-struct-variant.stderr		diff \| blob \| history
src/test/ui/derives/derives-span-PartialEq-enum.stderr		diff \| blob \| history
src/test/ui/derives/derives-span-PartialEq-struct.stderr		diff \| blob \| history
src/test/ui/derives/derives-span-PartialEq-tuple-struct.stderr		diff \| blob \| history
src/test/ui/derives/deriving-no-inner-impl-error-message.stderr		diff \| blob \| history
src/test/ui/destructuring-assignment/note-unsupported.stderr		diff \| blob \| history
src/test/ui/error-festival.stderr		diff \| blob \| history
src/test/ui/issues/issue-14091-2.stderr		diff \| blob \| history
src/test/ui/issues/issue-31076.rs		diff \| blob \| history
src/test/ui/issues/issue-31076.stderr		diff \| blob \| history
src/test/ui/issues/issue-3820.stderr		diff \| blob \| history
src/test/ui/issues/issue-62375.stderr		diff \| blob \| history
src/test/ui/methods/method-call-err-msg.stderr		diff \| blob \| history
src/test/ui/never_type/defaulted-never-note.fallback.stderr		diff \| blob \| history
src/test/ui/never_type/diverging-fallback-no-leak.fallback.stderr		diff \| blob \| history
src/test/ui/or-patterns/or-patterns-syntactic-fail.stderr		diff \| blob \| history
src/test/ui/span/issue-39018.stderr		diff \| blob \| history
src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr		diff \| blob \| history
src/test/ui/suggestions/invalid-bin-op.stderr		diff \| blob \| history
src/test/ui/type/type-ascription-precedence.stderr		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom