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

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

author	Niko Matsakis <niko@alum.mit.edu>
	Tue, 10 Apr 2018 09:55:18 +0000 (05:55 -0400)
committer	Niko Matsakis <niko@alum.mit.edu>
	Mon, 23 Apr 2018 17:28:14 +0000 (13:28 -0400)
commit	294cae22ee473f34928f5b24ec977132011e3699
tree	41dcfc6f0ca74c434943da5ccd1bed7d3e783c80	tree \| snapshot
parent	7173fd78c62c84dffbf0c05c895a2ec57fe170af	commit \| diff

first draft of `program_clauses_for_env`

This computes the transitive closure of traits that appear in the
environment and then appends their clauses. It needs some work, but
it's in the right direction.

src/librustc/dep_graph/dep_node.rs		diff \| blob \| history
src/librustc/ty/maps/config.rs		diff \| blob \| history
src/librustc/ty/maps/keys.rs		diff \| blob \| history
src/librustc/ty/maps/mod.rs		diff \| blob \| history
src/librustc/ty/maps/plumbing.rs		diff \| blob \| history
src/librustc/ty/mod.rs		diff \| blob \| history
src/librustc_traits/lib.rs		diff \| blob \| history
src/librustc_traits/lowering.rs		diff \| blob \| history
src/test/ui/chalkify/lower_env1.rs	[new file with mode: 0644]	blob
src/test/ui/chalkify/lower_env1.stderr	[new file with mode: 0644]	blob

Empowering everyone to build reliable and efficient software.

RSS Atom