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

]> git.lizzy.rs Git - rust.git/commit - src/tools/miri

author	Matthias Krüger <matthias.krueger@famsik.de>
	Fri, 18 Feb 2022 22:23:09 +0000 (23:23 +0100)
committer	GitHub <noreply@github.com>
	Fri, 18 Feb 2022 22:23:09 +0000 (23:23 +0100)
commit	1e2f63de0a5e9a32d97d355f6351665e77455be2
tree	e9da306098401bf54ecc4feff35942c30bd5eab1	tree \| snapshot
parent	cb35370557ecea46d7b36237b9c60bfa105c8de5	commit \| diff
parent	879e4f8131b71050b00407befd6f1669389fe9ed	commit \| diff

Rollup merge of #93892 - compiler-errors:issue-92917, r=jackh726,nikomatsakis

Only mark projection as ambiguous if GAT substs are constrained

A slightly more targeted version of #92917, where we only give up with ambiguity if we infer something about the GATs substs when probing for a projection candidate.

fixes #93874
also note (but like the previous PR, does not fix) #91762

r? `@jackh726`
cc `@nikomatsakis` who reviewed #92917

compiler/rustc_infer/src/infer/type_variable.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_trait_selection/src/traits/project.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_trait_selection/src/traits/select/mod.rs	diff1 \|	diff2 \|	blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom

compiler/rustc_infer/src/infer/type_variable.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_trait_selection/src/traits/project.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_trait_selection/src/traits/select/mod.rs	diff1 \|	diff2 \|	blob \| history