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

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

author	Oli Scherer <github35764891676564198441@oli-obk.de>
	Thu, 29 Jul 2021 15:59:59 +0000 (15:59 +0000)
committer	Oli Scherer <github35764891676564198441@oli-obk.de>
	Fri, 6 Aug 2021 10:39:23 +0000 (10:39 +0000)
commit	b2c1919a3d1f0e77a64168c079caaa9610316f02
tree	0de0e8949b3b7ae297c7c176e24120bbfa11214c	tree \| snapshot
parent	20371b94f62daa33c876adafeea266f9e8b8f222	commit \| diff

Store the `DefId` of the currently typechecked item in `InferCtxt`

This allows opaque type inference to check for defining uses without having to pass down that def id via function arguments to every method that could possibly cause an opaque type to be compared with a concrete type

Empowering everyone to build reliable and efficient software.

RSS Atom

compiler/rustc_infer/src/infer/mod.rs		diff \| blob \| history
compiler/rustc_mir/src/borrow_check/mod.rs		diff \| blob \| history
compiler/rustc_mir/src/borrow_check/type_check/mod.rs		diff \| blob \| history
compiler/rustc_trait_selection/src/opaque_types.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/_match.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/check.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/fn_ctxt/_impl.rs		diff \| blob \| history