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

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

author	matthewjasper <mjjasper1@gmail.com>
	Tue, 16 Jun 2020 17:27:40 +0000 (18:27 +0100)
committer	Matthew Jasper <mjjasper1@gmail.com>
	Wed, 17 Jun 2020 18:46:15 +0000 (19:46 +0100)
commit	ba2ef58ae6c126ec0b87b307d45fef2da127be22
tree	1af52c4955daf2ea82f05795619c56fe60c7ef3c	tree \| snapshot
parent	435f97cec1f0d7de95a0b80e95f295ab444b2fce	commit \| diff

Unify region variables when projecting associated types

This is required to avoid cycles when evaluating auto trait
predicates.

49 files changed:

src/librustc_infer/infer/canonical/canonicalizer.rs		diff \| blob \| history
src/librustc_infer/infer/region_constraints/mod.rs		diff \| blob \| history
src/librustc_infer/infer/resolve.rs		diff \| blob \| history
src/librustc_middle/ty/fold.rs		diff \| blob \| history
src/librustc_trait_selection/traits/project.rs		diff \| blob \| history
src/test/ui/associated-types/cache/project-fn-ret-invariant.transmute.stderr		diff \| blob \| history
src/test/ui/auto-is-contextual.rs	[deleted file]	blob \| history
src/test/ui/auto-trait-validation.rs	[deleted file]	blob \| history
src/test/ui/auto-trait-validation.stderr	[deleted file]	blob \| history
src/test/ui/auto-traits/auto-is-contextual.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/auto-trait-projection-recursion.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/auto-trait-validation.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/auto-trait-validation.stderr	[new file with mode: 0644]	blob
src/test/ui/auto-traits/auto-traits.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/issue-23080-2.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/issue-23080-2.stderr	[new file with mode: 0644]	blob
src/test/ui/auto-traits/issue-23080.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/issue-23080.stderr	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-auto-trait-no-supertraits-2.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-auto-trait-no-supertraits-2.stderr	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-auto-trait-no-supertraits.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-auto-trait-no-supertraits.stderr	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-default-trait-impl-constituent-types-2.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-default-trait-impl-constituent-types-2.stderr	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-default-trait-impl-constituent-types.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-default-trait-impl-constituent-types.stderr	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-default-trait-impl-negation.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-default-trait-impl-negation.stderr	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-default-trait-impl-precedence.rs	[new file with mode: 0644]	blob
src/test/ui/auto-traits/typeck-default-trait-impl-precedence.stderr	[new file with mode: 0644]	blob
src/test/ui/issues/issue-23080-2.rs	[deleted file]	blob \| history
src/test/ui/issues/issue-23080-2.stderr	[deleted file]	blob \| history
src/test/ui/issues/issue-23080.rs	[deleted file]	blob \| history
src/test/ui/issues/issue-23080.stderr	[deleted file]	blob \| history
src/test/ui/traits/auto-traits.rs	[deleted file]	blob \| history
src/test/ui/traits/traits-inductive-overflow-lifetime.rs	[new file with mode: 0644]	blob
src/test/ui/traits/traits-inductive-overflow-lifetime.stderr	[new file with mode: 0644]	blob
src/test/ui/typeck/typeck-auto-trait-no-supertraits-2.rs	[deleted file]	blob \| history
src/test/ui/typeck/typeck-auto-trait-no-supertraits-2.stderr	[deleted file]	blob \| history
src/test/ui/typeck/typeck-auto-trait-no-supertraits.rs	[deleted file]	blob \| history
src/test/ui/typeck/typeck-auto-trait-no-supertraits.stderr	[deleted file]	blob \| history
src/test/ui/typeck/typeck-default-trait-impl-constituent-types-2.rs	[deleted file]	blob \| history
src/test/ui/typeck/typeck-default-trait-impl-constituent-types-2.stderr	[deleted file]	blob \| history
src/test/ui/typeck/typeck-default-trait-impl-constituent-types.rs	[deleted file]	blob \| history
src/test/ui/typeck/typeck-default-trait-impl-constituent-types.stderr	[deleted file]	blob \| history
src/test/ui/typeck/typeck-default-trait-impl-negation.rs	[deleted file]	blob \| history
src/test/ui/typeck/typeck-default-trait-impl-negation.stderr	[deleted file]	blob \| history
src/test/ui/typeck/typeck-default-trait-impl-precedence.rs	[deleted file]	blob \| history
src/test/ui/typeck/typeck-default-trait-impl-precedence.stderr	[deleted file]	blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom