diff options
| author | Oli Scherer <github35764891676564198441@oli-obk.de> | 2021-07-16 17:34:23 +0000 |
|---|---|---|
| committer | Oli Scherer <github35764891676564198441@oli-obk.de> | 2021-07-16 17:37:28 +0000 |
| commit | ebe21ac23a8a259079c9c59669c1d7da1fa88d0c (patch) | |
| tree | 15f01407a16b698ee3ee9e7d31008c6c7888d8cc /compiler/rustc_middle | |
| parent | 24a8d3bce38607b385f19571d5120b892b18ae9a (diff) | |
| download | rust-ebe21ac23a8a259079c9c59669c1d7da1fa88d0c.tar.gz rust-ebe21ac23a8a259079c9c59669c1d7da1fa88d0c.zip | |
Infer all inference variables 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.
Diffstat (limited to 'compiler/rustc_middle')
| -rw-r--r-- | compiler/rustc_middle/src/ty/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/ty/mod.rs b/compiler/rustc_middle/src/ty/mod.rs index 156e860e1a3..f1fa964628b 100644 --- a/compiler/rustc_middle/src/ty/mod.rs +++ b/compiler/rustc_middle/src/ty/mod.rs @@ -856,7 +856,7 @@ impl<'tcx> InstantiatedPredicates<'tcx> { } } -#[derive(Copy, Clone, Debug, PartialEq, Eq, HashStable, TyEncodable, TyDecodable)] +#[derive(Copy, Clone, Debug, PartialEq, Eq, HashStable, TyEncodable, TyDecodable, TypeFoldable)] pub struct OpaqueTypeKey<'tcx> { pub def_id: DefId, pub substs: SubstsRef<'tcx>, |