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

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

author	Oli Scherer <github35764891676564198441@oli-obk.de>
	Wed, 28 Jul 2021 18:59:25 +0000 (18:59 +0000)
committer	Oli Scherer <github35764891676564198441@oli-obk.de>
	Fri, 6 Aug 2021 10:39:08 +0000 (10:39 +0000)
commit	20371b94f62daa33c876adafeea266f9e8b8f222
tree	6744e33dc15832f0b7f55bf193af76efeeaa2f5b	tree \| snapshot
parent	816b9fc2d1d002824908c37ed043125c3031128d	commit \| diff

Immediately register new opaque types in the global list.

Previously each opaque type instantiation would create new inference vars, even for the same opaque type/substs combination. Now there is a global map in InferCtxt that gets filled whenever we encounter an opaque type.

Empowering everyone to build reliable and efficient software.

RSS Atom

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
src/test/ui/type-alias-impl-trait/issue-63279.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-63279.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-74280.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-74280.stderr		diff \| blob \| history