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

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

author	lcnr <rust@lcnr.de>
	Wed, 13 Jul 2022 17:42:08 +0000 (19:42 +0200)
committer	lcnr <rust@lcnr.de>
	Tue, 9 Aug 2022 10:54:32 +0000 (12:54 +0200)
commit	f25cb83296d0e5d78036d6086b6342604243d940
tree	96b5383fa62036d466c94f6108038fa13712a150	tree \| snapshot
parent	8d1fa7105b2ad3154f63d8f0641fd7da87e20e8f	commit \| diff

don't normalize wf predicates

this allows us to soundly use unnormalized projections for wf

27 files changed:

compiler/rustc_borrowck/src/type_check/constraint_conversion.rs		diff \| blob \| history
compiler/rustc_borrowck/src/type_check/free_region_relations.rs		diff \| blob \| history
compiler/rustc_borrowck/src/type_check/mod.rs		diff \| blob \| history
compiler/rustc_infer/src/infer/region_constraints/mod.rs		diff \| blob \| history
compiler/rustc_middle/src/ty/mod.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/traits/project.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/traits/query/normalize.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/compare_method.rs		diff \| blob \| history
src/test/ui/associated-types/issue-59324.rs		diff \| blob \| history
src/test/ui/associated-types/issue-59324.stderr		diff \| blob \| history
src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs		diff \| blob \| history
src/test/ui/fn/implied-bounds-unnorm-associated-type-2.stderr	[new file with mode: 0644]	blob
src/test/ui/fn/implied-bounds-unnorm-associated-type-3.rs		diff \| blob \| history
src/test/ui/fn/implied-bounds-unnorm-associated-type-3.stderr	[deleted file]	blob \| history
src/test/ui/fn/implied-bounds-unnorm-associated-type-4.rs	[new file with mode: 0644]	blob
src/test/ui/fn/implied-bounds-unnorm-associated-type-4.stderr	[new file with mode: 0644]	blob
src/test/ui/fn/implied-bounds-unnorm-associated-type-5.rs	[new file with mode: 0644]	blob
src/test/ui/fn/implied-bounds-unnorm-associated-type-5.stderr	[new file with mode: 0644]	blob
src/test/ui/fn/implied-bounds-unnorm-associated-type.rs		diff \| blob \| history
src/test/ui/fn/implied-bounds-unnorm-associated-type.stderr		diff \| blob \| history
src/test/ui/generic-associated-types/bugs/issue-87748.rs	[deleted file]	blob \| history
src/test/ui/generic-associated-types/bugs/issue-87748.stderr	[deleted file]	blob \| history
src/test/ui/generic-associated-types/issue-87748.rs	[new file with mode: 0644]	blob
src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.rs		diff \| blob \| history
src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-85455.stderr		diff \| blob \| history
src/test/ui/nll/relate_tys/impl-fn-ignore-binder-via-bottom.rs		diff \| blob \| history
src/test/ui/nll/relate_tys/impl-fn-ignore-binder-via-bottom.stderr		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom