about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/transform/coverage/graph.rs
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume1.gomez@gmail.com>2021-07-16 19:54:12 +0200
committerGitHub <noreply@github.com>2021-07-16 19:54:12 +0200
commit7d36d69b4a0e6606b9a9c077302df7464ac1a4e7 (patch)
treebb4fc63696280d1c70ee2b0b57d652c3b5dd1d2f /compiler/rustc_mir/src/transform/coverage/graph.rs
parente596aa294b9f0d2413897da2d6b313d1b8d42bf5 (diff)
parentebe21ac23a8a259079c9c59669c1d7da1fa88d0c (diff)
downloadrust-7d36d69b4a0e6606b9a9c077302df7464ac1a4e7.tar.gz
rust-7d36d69b4a0e6606b9a9c077302df7464ac1a4e7.zip
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`
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions