diff options
| author | Michael Goulet <michael@errs.io> | 2024-03-24 12:26:20 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-03-27 10:08:14 -0400 |
| commit | 864e1fbc81cdae128cd936cbeed179c99ab71025 (patch) | |
| tree | 630813ef50493ce6307b5e7d570e52370a09dd06 | |
| parent | 2fe936f17d86fa1c8bcf96844888ccf740cf3d89 (diff) | |
| download | rust-864e1fbc81cdae128cd936cbeed179c99ab71025.tar.gz rust-864e1fbc81cdae128cd936cbeed179c99ab71025.zip | |
Remove TypeVariableOriginKind::OpaqueInference
| -rw-r--r-- | compiler/rustc_infer/src/infer/opaque_types/mod.rs | 2 | ||||
| -rw-r--r-- | compiler/rustc_infer/src/infer/type_variable.rs | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/compiler/rustc_infer/src/infer/opaque_types/mod.rs b/compiler/rustc_infer/src/infer/opaque_types/mod.rs index 02b8ded285f..01430e830e5 100644 --- a/compiler/rustc_infer/src/infer/opaque_types/mod.rs +++ b/compiler/rustc_infer/src/infer/opaque_types/mod.rs @@ -73,7 +73,7 @@ impl<'tcx> InferCtxt<'tcx> { // for opaque types, and then use that kind to fix the spans for type errors // that we see later on. let ty_var = self.next_ty_var(TypeVariableOrigin { - kind: TypeVariableOriginKind::OpaqueTypeInference(def_id), + kind: TypeVariableOriginKind::MiscVariable, span, }); obligations.extend( diff --git a/compiler/rustc_infer/src/infer/type_variable.rs b/compiler/rustc_infer/src/infer/type_variable.rs index 3630b0f439f..55c6c92a584 100644 --- a/compiler/rustc_infer/src/infer/type_variable.rs +++ b/compiler/rustc_infer/src/infer/type_variable.rs @@ -47,7 +47,6 @@ pub enum TypeVariableOriginKind { MiscVariable, NormalizeProjectionType, TypeInference, - OpaqueTypeInference(DefId), TypeParameterDefinition(Symbol, DefId), /// One of the upvars or closure kind parameters in a `ClosureArgs` |