]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: b1f8e27 cf001dc)
Auto merge of #86993 - jackh726:project-gat-binders, r=nikomatsakis
authorbors <bors@rust-lang.org>
Fri, 16 Jul 2021 01:11:37 +0000 (01:11 +0000)
committerbors <bors@rust-lang.org>
Fri, 16 Jul 2021 01:11:37 +0000 (01:11 +0000)
commit27e42058811e448b1a7dd8630d86ab247fbfcb9b
treea11138d6fca09fbad42be25162d8723aa789bb44tree | snapshot
parentb1f8e27b74c541d3d555149c8efa4bfe9385cd56commit | diff
parentcf001dc8894ae726de96f4db032f11c22f24c393commit | diff
Auto merge of #86993 - jackh726:project-gat-binders, r=nikomatsakis

Replace associated item bound vars with placeholders when projecting

Fixes #76407
Fixes #76826

Similar, but more limited, to #85499. This allows us to handle things like `for<'a> <T as Trait>::Assoc<'a>` but not `for<'a> <T as Trait<'a>>::Assoc`, unblocking GATs.

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