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

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

author	lcnr <rust@lcnr.de>
	Sun, 4 Dec 2022 03:19:10 +0000 (03:19 +0000)
committer	lcnr <rust@lcnr.de>
	Mon, 19 Dec 2022 16:46:17 +0000 (16:46 +0000)
commit	a213bb36c953d2c342d8ae9303704e57bc8aab33
tree	01fa1c6b8fa4b3e5099424ef9aba0c282fb43d94	tree \| snapshot
parent	4653c93e4442d88bf3278067183c8fdc0be74a1f	commit \| diff

implement the skeleton of the updated trait solver

21 files changed:

compiler/rustc_infer/src/infer/canonical/query_response.rs		diff \| blob \| history
compiler/rustc_middle/src/infer/canonical.rs		diff \| blob \| history
compiler/rustc_middle/src/traits/query.rs		diff \| blob \| history
compiler/rustc_middle/src/traits/specialization_graph.rs		diff \| blob \| history
compiler/rustc_middle/src/ty/mod.rs		diff \| blob \| history
compiler/rustc_middle/src/ty/sty.rs		diff \| blob \| history
compiler/rustc_middle/src/ty/subst.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/lib.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/solve/cache.rs	[new file with mode: 0644]	blob
compiler/rustc_trait_selection/src/solve/fulfill.rs	[new file with mode: 0644]	blob
compiler/rustc_trait_selection/src/solve/infcx_ext.rs	[new file with mode: 0644]	blob
compiler/rustc_trait_selection/src/solve/mod.rs	[new file with mode: 0644]	blob
compiler/rustc_trait_selection/src/solve/overflow.rs	[new file with mode: 0644]	blob
compiler/rustc_trait_selection/src/solve/project_goals.rs	[new file with mode: 0644]	blob
compiler/rustc_trait_selection/src/solve/trait_goals.rs	[new file with mode: 0644]	blob
compiler/rustc_trait_selection/src/traits/project.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/traits/select/mod.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/traits/specialize/specialization_graph.rs		diff \| blob \| history
src/test/ui/traits/solver-cycles/inductive-canonical-cycle.rs	[new file with mode: 0644]	blob
src/test/ui/traits/solver-cycles/inductive-canonical-cycle.stderr	[new file with mode: 0644]	blob
triagebot.toml		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom