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

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

author	Niko Matsakis <niko@alum.mit.edu>
	Sat, 18 Jan 2020 12:59:16 +0000 (07:59 -0500)
committer	Niko Matsakis <niko@alum.mit.edu>
	Thu, 6 Feb 2020 20:58:01 +0000 (15:58 -0500)
commit	e9c78947dcd947709f41d52feaaf2eb6ea2711c8
tree	6d5bed3965a0f0c4f060bca7217ef909e2be7a56	tree \| snapshot
parent	5e0197f13a28d2b3d9aadbc6c5d48506ab4d696f	commit \| diff

add the ability to skip leak check within a snapshot

The intention is that coherence code will skip the leak check and
determine whether two impls *would have* overlapped, and then issue a
warning.

src/librustc/infer/higher_ranked/mod.rs		diff \| blob \| history
src/librustc/infer/mod.rs		diff \| blob \| history
src/librustc/infer/region_constraints/leak_check.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom