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

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

author	Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
	Thu, 5 May 2022 14:14:06 +0000 (14:14 +0000)
committer	Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
	Tue, 10 May 2022 07:20:00 +0000 (07:20 +0000)
commit	f667e952f85911fb2983f98d0808d40242db7b47
tree	08d27fbabfe8ea77e4a273b0112c14fdcf61b0e3	tree \| snapshot
parent	12d3f107c1634ed41a800e220ccf99b665d906d8	commit \| diff

Check hidden types for well formedness at the definition site instead of only at the opaque type itself

32 files changed:

compiler/rustc_borrowck/src/region_infer/opaque_types.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/opaque_types.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/bounds-are-checked-2.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/bounds-are-checked-2.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use2.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use2.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use3.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use3.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use4.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use4.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use5.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use5.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use6.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use6.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use8.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use8.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use9.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use9.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-52843.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-52843.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-60564.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-60564.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-68368-non-defining-use.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-68368-non-defining-use.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-89686.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-89686.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/not_a_defining_use.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/not_a_defining_use.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/underconstrained_generic.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/underconstrained_generic.stderr		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom