]> git.lizzy.rs Git - rust.git/commit - src/tools/rust-analyzer
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: d45d205 7b1e1c7)
Auto merge of #86118 - spastorino:tait-soundness-bug, r=nikomatsakis
authorbors <bors@rust-lang.org>
Wed, 9 Jun 2021 09:00:16 +0000 (09:00 +0000)
committerbors <bors@rust-lang.org>
Wed, 9 Jun 2021 09:00:16 +0000 (09:00 +0000)
commitc4b540698165f2172dac8562bde84116f65d13bb
treecfe4a5fa0d59a748d921592cbdb0ec9abd0f182ftree | snapshot
parentd45d205d59bd9eaca352e3a8f18c625f47f5838bcommit | diff
parent7b1e1c73330ca9ce7ad00f7a1d61ba393ea187b1commit | diff
Auto merge of #86118 - spastorino:tait-soundness-bug, r=nikomatsakis

Create different inference variables for different defining uses of TAITs

Fixes #73481

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