]> git.lizzy.rs Git - rust.git/commit
implied_bounds: clarify our assumptions
authorlcnr <rust@lcnr.de>
Wed, 17 Aug 2022 10:22:32 +0000 (12:22 +0200)
committerlcnr <rust@lcnr.de>
Wed, 17 Aug 2022 10:22:32 +0000 (12:22 +0200)
commit4fe666ee64d9f2a73571f0ab74a29cd30190573e
treeaec142c40931db43bd93a66a78e014df00a4452f
parentb7a8496a073c7ee1a8b4bb9dc4ee4efed80e3522
implied_bounds: clarify our assumptions
22 files changed:
compiler/rustc_middle/src/query/mod.rs
compiler/rustc_ty_utils/src/implied_bounds.rs [new file with mode: 0644]
compiler/rustc_ty_utils/src/lib.rs
compiler/rustc_typeck/src/check/compare_method.rs
compiler/rustc_typeck/src/check/wfcheck.rs
compiler/rustc_typeck/src/impl_wf_check/min_specialization.rs
src/test/ui/associated-types/associated-types-for-unimpl-trait.stderr
src/test/ui/associated-types/associated-types-no-suitable-bound.stderr
src/test/ui/associated-types/associated-types-no-suitable-supertrait-2.stderr
src/test/ui/associated-types/associated-types-no-suitable-supertrait.stderr
src/test/ui/associated-types/associated-types-projection-to-unrelated-trait-in-method-without-default.stderr
src/test/ui/associated-types/issue-59324.stderr
src/test/ui/issues/issue-18611.stderr
src/test/ui/issues/issue-20831-debruijn.stderr
src/test/ui/issues/issue-35570.rs
src/test/ui/issues/issue-35570.stderr
src/test/ui/nll/normalization-bounds-error.stderr
src/test/ui/regions/regions-implied-bounds-projection-gap-hr-1.rs
src/test/ui/regions/regions-implied-bounds-projection-gap-hr-1.stderr
src/test/ui/specialization/min_specialization/issue-79224.stderr
src/test/ui/traits/issue-91594.stderr
src/test/ui/wf/wf-foreign-fn-decl-ret.stderr