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

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

author	Ariel Ben-Yehuda <arielb1@mail.tau.ac.il>
	Tue, 29 Mar 2016 17:12:31 +0000 (20:12 +0300)
committer	Ariel Ben-Yehuda <ariel.byd@gmail.com>
	Tue, 5 Apr 2016 17:58:58 +0000 (20:58 +0300)
commit	8a461d940cc6019bd332b1ea732d79d3216d9108
tree	847015cb866fee03fcc9ebb78c4d8baefd7b1551	tree \| snapshot
parent	513d9f208cc52ab71e2899db30aaead5c82c1a74	commit \| diff

suggest adding a where-clause when that can help

suggest adding a where-clause when there is an unmet trait-bound that
can be satisfied if some type can implement it.

159 files changed:

src/doc/book/closures.md		diff \| blob \| history
src/doc/book/concurrency.md		diff \| blob \| history
src/doc/book/traits.md		diff \| blob \| history
src/doc/book/vectors.md		diff \| blob \| history
src/doc/nomicon/coercions.md		diff \| blob \| history
src/librustc/diagnostics.rs		diff \| blob \| history
src/librustc/traits/error_reporting.rs		diff \| blob \| history
src/test/compile-fail/associated-types-ICE-when-projecting-out-of-err.rs		diff \| blob \| history
src/test/compile-fail/associated-types-bound-failure.rs		diff \| blob \| history
src/test/compile-fail/associated-types-for-unimpl-trait.rs		diff \| blob \| history
src/test/compile-fail/associated-types-invalid-trait-ref-issue-18865.rs		diff \| blob \| history
src/test/compile-fail/associated-types-no-suitable-bound.rs		diff \| blob \| history
src/test/compile-fail/associated-types-no-suitable-supertrait-2.rs		diff \| blob \| history
src/test/compile-fail/associated-types-no-suitable-supertrait.rs		diff \| blob \| history
src/test/compile-fail/associated-types-path-2.rs		diff \| blob \| history
src/test/compile-fail/associated-types-unsized.rs		diff \| blob \| history
src/test/compile-fail/bad-method-typaram-kind.rs		diff \| blob \| history
src/test/compile-fail/bad-sized.rs		diff \| blob \| history
src/test/compile-fail/builtin-superkinds-double-superkind.rs		diff \| blob \| history
src/test/compile-fail/builtin-superkinds-in-metadata.rs		diff \| blob \| history
src/test/compile-fail/builtin-superkinds-simple.rs		diff \| blob \| history
src/test/compile-fail/builtin-superkinds-typaram-not-send.rs		diff \| blob \| history
src/test/compile-fail/cast-rfc0401.rs		diff \| blob \| history
src/test/compile-fail/closure-bounds-cant-promote-superkind-in-struct.rs		diff \| blob \| history
src/test/compile-fail/closure-bounds-subtype.rs		diff \| blob \| history
src/test/compile-fail/cross-fn-cache-hole.rs		diff \| blob \| history
src/test/compile-fail/deriving-no-inner-impl-error-message.rs		diff \| blob \| history
src/test/compile-fail/deriving-span-Default-struct.rs		diff \| blob \| history
src/test/compile-fail/destructure-trait-ref.rs		diff \| blob \| history
src/test/compile-fail/dst-bad-assign-2.rs		diff \| blob \| history
src/test/compile-fail/dst-bad-assign.rs		diff \| blob \| history
src/test/compile-fail/dst-bad-coerce1.rs		diff \| blob \| history
src/test/compile-fail/dst-bad-deep.rs		diff \| blob \| history
src/test/compile-fail/dst-object-from-unsized-type.rs		diff \| blob \| history
src/test/compile-fail/dst-sized-trait-param.rs		diff \| blob \| history
src/test/compile-fail/error-should-say-copy-not-pod.rs		diff \| blob \| history
src/test/compile-fail/extern-wrong-value-type.rs		diff \| blob \| history
src/test/compile-fail/fn-trait-formatting.rs		diff \| blob \| history
src/test/compile-fail/for-loop-bogosity.rs		diff \| blob \| history
src/test/compile-fail/hrtb-conflate-regions.rs		diff \| blob \| history
src/test/compile-fail/hrtb-higher-ranker-supertraits-transitive.rs		diff \| blob \| history
src/test/compile-fail/hrtb-higher-ranker-supertraits.rs		diff \| blob \| history
src/test/compile-fail/hrtb-just-for-static.rs		diff \| blob \| history
src/test/compile-fail/hrtb-perfect-forwarding.rs		diff \| blob \| history
src/test/compile-fail/ifmt-unimpl.rs		diff \| blob \| history
src/test/compile-fail/impl-bounds-checking.rs		diff \| blob \| history
src/test/compile-fail/indexing-requires-a-uint.rs		diff \| blob \| history
src/test/compile-fail/integral-indexing.rs		diff \| blob \| history
src/test/compile-fail/issue-14084.rs		diff \| blob \| history
src/test/compile-fail/issue-14366.rs		diff \| blob \| history
src/test/compile-fail/issue-15756.rs		diff \| blob \| history
src/test/compile-fail/issue-16538.rs		diff \| blob \| history
src/test/compile-fail/issue-17651.rs		diff \| blob \| history
src/test/compile-fail/issue-17718-static-sync.rs		diff \| blob \| history
src/test/compile-fail/issue-18107.rs		diff \| blob \| history
src/test/compile-fail/issue-18611.rs		diff \| blob \| history
src/test/compile-fail/issue-18919.rs		diff \| blob \| history
src/test/compile-fail/issue-1920-1.rs		diff \| blob \| history
src/test/compile-fail/issue-1920-2.rs		diff \| blob \| history
src/test/compile-fail/issue-1920-3.rs		diff \| blob \| history
src/test/compile-fail/issue-20005.rs		diff \| blob \| history
src/test/compile-fail/issue-20162.rs		diff \| blob \| history
src/test/compile-fail/issue-20605.rs		diff \| blob \| history
src/test/compile-fail/issue-21160.rs		diff \| blob \| history
src/test/compile-fail/issue-21659-show-relevant-trait-impls-1.rs		diff \| blob \| history
src/test/compile-fail/issue-21659-show-relevant-trait-impls-2.rs		diff \| blob \| history
src/test/compile-fail/issue-21763.rs		diff \| blob \| history
src/test/compile-fail/issue-22034.rs		diff \| blob \| history
src/test/compile-fail/issue-22645.rs		diff \| blob \| history
src/test/compile-fail/issue-25076.rs		diff \| blob \| history
src/test/compile-fail/issue-28098.rs		diff \| blob \| history
src/test/compile-fail/issue-5035-2.rs		diff \| blob \| history
src/test/compile-fail/issue-5883.rs		diff \| blob \| history
src/test/compile-fail/issue-7013.rs		diff \| blob \| history
src/test/compile-fail/issue-7364.rs		diff \| blob \| history
src/test/compile-fail/kindck-copy.rs		diff \| blob \| history
src/test/compile-fail/kindck-impl-type-params-2.rs		diff \| blob \| history
src/test/compile-fail/kindck-impl-type-params.rs		diff \| blob \| history
src/test/compile-fail/kindck-nonsendable-1.rs		diff \| blob \| history
src/test/compile-fail/kindck-send-object.rs		diff \| blob \| history
src/test/compile-fail/kindck-send-object1.rs		diff \| blob \| history
src/test/compile-fail/kindck-send-object2.rs		diff \| blob \| history
src/test/compile-fail/kindck-send-owned.rs		diff \| blob \| history
src/test/compile-fail/kindck-send-unsafe.rs		diff \| blob \| history
src/test/compile-fail/map-types.rs		diff \| blob \| history
src/test/compile-fail/mut-not-freeze.rs		diff \| blob \| history
src/test/compile-fail/mutable-enum-indirect.rs		diff \| blob \| history
src/test/compile-fail/no-send-res-ports.rs		diff \| blob \| history
src/test/compile-fail/no_send-enum.rs		diff \| blob \| history
src/test/compile-fail/no_send-rc.rs		diff \| blob \| history
src/test/compile-fail/no_send-struct.rs		diff \| blob \| history
src/test/compile-fail/no_share-enum.rs		diff \| blob \| history
src/test/compile-fail/no_share-struct.rs		diff \| blob \| history
src/test/compile-fail/not-panic-safe-3.rs		diff \| blob \| history
src/test/compile-fail/not-panic-safe-5.rs		diff \| blob \| history
src/test/compile-fail/not-panic-safe.rs		diff \| blob \| history
src/test/compile-fail/not-sync.rs		diff \| blob \| history
src/test/compile-fail/object-does-not-impl-trait.rs		diff \| blob \| history
src/test/compile-fail/phantom-oibit.rs		diff \| blob \| history
src/test/compile-fail/range-1.rs		diff \| blob \| history
src/test/compile-fail/reflect-assoc.rs		diff \| blob \| history
src/test/compile-fail/reflect-object-param.rs		diff \| blob \| history
src/test/compile-fail/reflect.rs		diff \| blob \| history
src/test/compile-fail/repeat-to-run-dtor-twice.rs		diff \| blob \| history
src/test/compile-fail/str-idx.rs		diff \| blob \| history
src/test/compile-fail/str-mut-idx.rs		diff \| blob \| history
src/test/compile-fail/task-rng-isnt-sendable.rs		diff \| blob \| history
src/test/compile-fail/trait-bounds-not-on-bare-trait.rs		diff \| blob \| history
src/test/compile-fail/trait-bounds-on-structs-and-enums-in-fns.rs		diff \| blob \| history
src/test/compile-fail/trait-bounds-on-structs-and-enums-in-impls.rs		diff \| blob \| history
src/test/compile-fail/trait-bounds-on-structs-and-enums-locals.rs		diff \| blob \| history
src/test/compile-fail/trait-bounds-on-structs-and-enums-static.rs		diff \| blob \| history
src/test/compile-fail/trait-bounds-on-structs-and-enums-xc.rs		diff \| blob \| history
src/test/compile-fail/trait-bounds-on-structs-and-enums-xc1.rs		diff \| blob \| history
src/test/compile-fail/trait-bounds-on-structs-and-enums.rs		diff \| blob \| history
src/test/compile-fail/trait-coercion-generic-bad.rs		diff \| blob \| history
src/test/compile-fail/trait-suggest-where-clause.rs	[new file with mode: 0644]	blob
src/test/compile-fail/traits-negative-impls.rs		diff \| blob \| history
src/test/compile-fail/traits-repeated-supertrait-ambig.rs		diff \| blob \| history
src/test/compile-fail/type-params-in-different-spaces-2.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-assoc-type.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-constituent-types-2.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-constituent-types.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-negation-send.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-negation-sync.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-negation.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-precedence.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-send-param.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-supertrait.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-trait-where-clause-2.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-trait-where-clause.rs		diff \| blob \| history
src/test/compile-fail/typeck-unsafe-always-share.rs		diff \| blob \| history
src/test/compile-fail/ufcs-qpath-self-mismatch.rs		diff \| blob \| history
src/test/compile-fail/unboxed-closure-sugar-default.rs		diff \| blob \| history
src/test/compile-fail/unboxed-closure-sugar-equiv.rs		diff \| blob \| history
src/test/compile-fail/unboxed-closures-fnmut-as-fn.rs		diff \| blob \| history
src/test/compile-fail/unboxed-closures-unsafe-extern-fn.rs		diff \| blob \| history
src/test/compile-fail/unboxed-closures-wrong-abi.rs		diff \| blob \| history
src/test/compile-fail/unboxed-closures-wrong-arg-type-extern-fn.rs		diff \| blob \| history
src/test/compile-fail/unique-unique-kind.rs		diff \| blob \| history
src/test/compile-fail/unique-vec-res.rs		diff \| blob \| history
src/test/compile-fail/unsized-bare-typaram.rs		diff \| blob \| history
src/test/compile-fail/unsized-enum.rs		diff \| blob \| history
src/test/compile-fail/unsized-inherent-impl-self-type.rs		diff \| blob \| history
src/test/compile-fail/unsized-struct.rs		diff \| blob \| history
src/test/compile-fail/unsized-trait-impl-self-type.rs		diff \| blob \| history
src/test/compile-fail/unsized-trait-impl-trait-arg.rs		diff \| blob \| history
src/test/compile-fail/unsized3.rs		diff \| blob \| history
src/test/compile-fail/unsized5.rs		diff \| blob \| history
src/test/compile-fail/unsized6.rs		diff \| blob \| history
src/test/compile-fail/unsized7.rs		diff \| blob \| history
src/test/compile-fail/vtable-res-trait-param.rs		diff \| blob \| history
src/test/compile-fail/wf-impl-associated-type-trait.rs		diff \| blob \| history
src/test/compile-fail/where-clause-constraints-are-local-for-inherent-impl.rs		diff \| blob \| history
src/test/compile-fail/where-clause-constraints-are-local-for-trait-impl.rs		diff \| blob \| history
src/test/compile-fail/where-clause-method-substituion.rs		diff \| blob \| history
src/test/compile-fail/where-clauses-method-unsatisfied.rs		diff \| blob \| history
src/test/compile-fail/where-clauses-unsatisfied.rs		diff \| blob \| history
src/test/compile-fail/where-for-self-2.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom