]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: e596aa2 ebe21ac)
Rollup merge of #87200 - oli-obk:fixup_fixup_opaque_types, r=nikomatsakis
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Fri, 16 Jul 2021 17:54:12 +0000 (19:54 +0200)
committerGitHub <noreply@github.com>
Fri, 16 Jul 2021 17:54:12 +0000 (19:54 +0200)
commit7d36d69b4a0e6606b9a9c077302df7464ac1a4e7
treebb4fc63696280d1c70ee2b0b57d652c3b5dd1d2ftree | snapshot
parente596aa294b9f0d2413897da2d6b313d1b8d42bf5commit | diff
parentebe21ac23a8a259079c9c59669c1d7da1fa88d0ccommit | diff
Rollup merge of #87200 - oli-obk:fixup_fixup_opaque_types, r=nikomatsakis

TAIT: Infer all inference variables in opaque type substitutions via InferCx

The previous algorithm was correct for the example given in its
documentation, but when the TAIT was declared as a free item
instead of an associated item, the generic parameters were the
wrong ones.

cc `@spastorino`

r? `@nikomatsakis`
compiler/rustc_middle/src/ty/mod.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.