diff options
| author | Michael Goulet <michael@errs.io> | 2022-07-26 06:19:58 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2022-07-26 06:19:58 +0000 |
| commit | d3492ca85205182e30e9baf06e9b1db08e501f56 (patch) | |
| tree | 9c79d30ab7089fcfa5242b429bd4b6dedfd655ac /compiler/rustc_middle/src/infer/mod.rs | |
| parent | daaae25022cedcd7ded230170cdf48cfb799f9a2 (diff) | |
| download | rust-d3492ca85205182e30e9baf06e9b1db08e501f56.tar.gz rust-d3492ca85205182e30e9baf06e9b1db08e501f56.zip | |
Use real opaque type instead of just saying impl Trait
Diffstat (limited to 'compiler/rustc_middle/src/infer/mod.rs')
| -rw-r--r-- | compiler/rustc_middle/src/infer/mod.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/rustc_middle/src/infer/mod.rs b/compiler/rustc_middle/src/infer/mod.rs index 8b2f9bdfd48..38868c21049 100644 --- a/compiler/rustc_middle/src/infer/mod.rs +++ b/compiler/rustc_middle/src/infer/mod.rs @@ -2,9 +2,8 @@ pub mod canonical; pub mod unify_key; use crate::ty::Region; -use crate::ty::Ty; +use crate::ty::{OpaqueTypeKey, Ty}; use rustc_data_structures::sync::Lrc; -use rustc_hir::def_id::LocalDefId; use rustc_span::Span; /// Requires that `region` must be equal to one of the regions in `choice_regions`. @@ -15,8 +14,9 @@ use rustc_span::Span; /// ``` #[derive(Debug, Clone, HashStable, TypeFoldable, TypeVisitable, Lift)] pub struct MemberConstraint<'tcx> { - /// The `DefId` of the opaque type causing this constraint: used for error reporting. - pub opaque_type_def_id: LocalDefId, + /// The `DefId` and substs of the opaque type causing this constraint. + /// Used for error reporting. + pub key: OpaqueTypeKey<'tcx>, /// The span where the hidden type was instantiated. pub definition_span: Span, |