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

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

author	Esteban Küber <esteban@kuber.com.ar>
	Tue, 3 Mar 2020 23:07:04 +0000 (15:07 -0800)
committer	Esteban Küber <esteban@kuber.com.ar>
	Wed, 8 Apr 2020 21:40:45 +0000 (14:40 -0700)
commit	bd7ea5441ec6e447d8dae1e69de7ef4320a2aa4e
tree	ee02aacbe98954838effb64a4d3929cec7f76be9	tree \| snapshot
parent	485c5fb6e1bf12cd11a8fac5ee94962e17cff74b	commit \| diff

Use `PredicateObligation`s instead of `Predicate`s

Keep more information about trait binding failures.

90 files changed:

src/librustc_infer/infer/outlives/verify.rs		diff \| blob \| history
src/librustc_infer/traits/util.rs		diff \| blob \| history
src/librustc_mir/transform/const_prop.rs		diff \| blob \| history
src/librustc_trait_selection/opaque_types.rs		diff \| blob \| history
src/librustc_trait_selection/traits/auto_trait.rs		diff \| blob \| history
src/librustc_trait_selection/traits/error_reporting/mod.rs		diff \| blob \| history
src/librustc_trait_selection/traits/error_reporting/on_unimplemented.rs		diff \| blob \| history
src/librustc_trait_selection/traits/error_reporting/suggestions.rs		diff \| blob \| history
src/librustc_trait_selection/traits/mod.rs		diff \| blob \| history
src/librustc_trait_selection/traits/object_safety.rs		diff \| blob \| history
src/librustc_trait_selection/traits/project.rs		diff \| blob \| history
src/librustc_trait_selection/traits/wf.rs		diff \| blob \| history
src/librustc_typeck/astconv.rs		diff \| blob \| history
src/librustc_typeck/check/method/confirm.rs		diff \| blob \| history
src/librustc_typeck/check/wfcheck.rs		diff \| blob \| history
src/librustc_typeck/collect.rs		diff \| blob \| history
src/librustc_typeck/impl_wf_check/min_specialization.rs		diff \| blob \| history
src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr		diff \| blob \| history
src/test/ui/associated-types/associated-types-overridden-binding.stderr		diff \| blob \| history
src/test/ui/associated-types/defaults-suitability.stderr		diff \| blob \| history
src/test/ui/bad/bad-sized.stderr		diff \| blob \| history
src/test/ui/closures/closure-bounds-cant-promote-superkind-in-struct.stderr		diff \| blob \| history
src/test/ui/consts/too_generic_eval_ice.stderr		diff \| blob \| history
src/test/ui/derives/derives-span-Eq-enum-struct-variant.stderr		diff \| blob \| history
src/test/ui/derives/derives-span-Eq-enum.stderr		diff \| blob \| history
src/test/ui/derives/derives-span-Eq-struct.stderr		diff \| blob \| history
src/test/ui/derives/derives-span-Eq-tuple-struct.stderr		diff \| blob \| history
src/test/ui/error-codes/E0275.stderr		diff \| blob \| history
src/test/ui/generic-associated-types/issue-62326-parameter-out-of-range.stderr		diff \| blob \| history
src/test/ui/generic-associated-types/iterable.stderr		diff \| blob \| history
src/test/ui/issues/issue-18919.rs		diff \| blob \| history
src/test/ui/issues/issue-18919.stderr		diff \| blob \| history
src/test/ui/issues/issue-20005.stderr		diff \| blob \| history
src/test/ui/issues/issue-20413.stderr		diff \| blob \| history
src/test/ui/issues/issue-20433.stderr		diff \| blob \| history
src/test/ui/issues/issue-21837.stderr		diff \| blob \| history
src/test/ui/issues/issue-21974.stderr		diff \| blob \| history
src/test/ui/issues/issue-23281.rs		diff \| blob \| history
src/test/ui/issues/issue-23281.stderr		diff \| blob \| history
src/test/ui/issues/issue-24204.stderr		diff \| blob \| history
src/test/ui/issues/issue-24424.stderr		diff \| blob \| history
src/test/ui/iterators/bound.stderr		diff \| blob \| history
src/test/ui/recursion/recursive-requirements.stderr		diff \| blob \| history
src/test/ui/suggestions/missing-assoc-type-bound-restriction.stderr		diff \| blob \| history
src/test/ui/suggestions/mut-borrow-needed-by-trait.stderr		diff \| blob \| history
src/test/ui/traits/negative-impls/negated-auto-traits-error.stderr		diff \| blob \| history
src/test/ui/traits/trait-alias/trait-alias-wf.stderr		diff \| blob \| history
src/test/ui/traits/trait-bounds-on-structs-and-enums-in-fns.stderr		diff \| blob \| history
src/test/ui/traits/trait-bounds-on-structs-and-enums-in-impls.stderr		diff \| blob \| history
src/test/ui/traits/trait-bounds-on-structs-and-enums-locals.stderr		diff \| blob \| history
src/test/ui/traits/trait-bounds-on-structs-and-enums-static.stderr		diff \| blob \| history
src/test/ui/traits/trait-bounds-on-structs-and-enums-xc.stderr		diff \| blob \| history
src/test/ui/traits/trait-bounds-on-structs-and-enums-xc1.stderr		diff \| blob \| history
src/test/ui/traits/trait-bounds-on-structs-and-enums.stderr		diff \| blob \| history
src/test/ui/type/type-check-defaults.stderr		diff \| blob \| history
src/test/ui/type/type-check/issue-40294.stderr		diff \| blob \| history
src/test/ui/union/union-derive-clone.stderr		diff \| blob \| history
src/test/ui/union/union-derive-eq.stderr		diff \| blob \| history
src/test/ui/unsized/unsized-enum.stderr		diff \| blob \| history
src/test/ui/unsized/unsized-inherent-impl-self-type.stderr		diff \| blob \| history
src/test/ui/unsized/unsized-struct.stderr		diff \| blob \| history
src/test/ui/unsized/unsized-trait-impl-self-type.stderr		diff \| blob \| history
src/test/ui/wf/wf-const-type.stderr		diff \| blob \| history
src/test/ui/wf/wf-enum-bound.stderr		diff \| blob \| history
src/test/ui/wf/wf-enum-fields-struct-variant.stderr		diff \| blob \| history
src/test/ui/wf/wf-enum-fields.stderr		diff \| blob \| history
src/test/ui/wf/wf-fn-where-clause.rs		diff \| blob \| history
src/test/ui/wf/wf-fn-where-clause.stderr		diff \| blob \| history
src/test/ui/wf/wf-impl-associated-type-trait.stderr		diff \| blob \| history
src/test/ui/wf/wf-in-fn-arg.stderr		diff \| blob \| history
src/test/ui/wf/wf-in-fn-ret.stderr		diff \| blob \| history
src/test/ui/wf/wf-in-fn-type-arg.stderr		diff \| blob \| history
src/test/ui/wf/wf-in-fn-type-ret.stderr		diff \| blob \| history
src/test/ui/wf/wf-in-fn-where-clause.stderr		diff \| blob \| history
src/test/ui/wf/wf-in-obj-type-trait.stderr		diff \| blob \| history
src/test/ui/wf/wf-inherent-impl-method-where-clause.stderr		diff \| blob \| history
src/test/ui/wf/wf-inherent-impl-where-clause.stderr		diff \| blob \| history
src/test/ui/wf/wf-static-type.stderr		diff \| blob \| history
src/test/ui/wf/wf-struct-bound.stderr		diff \| blob \| history
src/test/ui/wf/wf-struct-field.stderr		diff \| blob \| history
src/test/ui/wf/wf-trait-associated-type-bound.stderr		diff \| blob \| history
src/test/ui/wf/wf-trait-associated-type-trait.stderr		diff \| blob \| history
src/test/ui/wf/wf-trait-bound.stderr		diff \| blob \| history
src/test/ui/wf/wf-trait-default-fn-arg.stderr		diff \| blob \| history
src/test/ui/wf/wf-trait-default-fn-ret.stderr		diff \| blob \| history
src/test/ui/wf/wf-trait-default-fn-where-clause.stderr		diff \| blob \| history
src/test/ui/wf/wf-trait-fn-arg.stderr		diff \| blob \| history
src/test/ui/wf/wf-trait-fn-ret.stderr		diff \| blob \| history
src/test/ui/wf/wf-trait-fn-where-clause.stderr		diff \| blob \| history
src/test/ui/wf/wf-trait-superbound.stderr		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom