Remove TypeVariableOriginKind::OpaqueInference

This commit is contained in:
Michael Goulet 2024-03-24 12:26:20 -04:00
parent 2fe936f17d
commit 864e1fbc81
2 changed files with 1 additions and 2 deletions

View File

@ -73,7 +73,7 @@ impl<'tcx> InferCtxt<'tcx> {
// for opaque types, and then use that kind to fix the spans for type errors // for opaque types, and then use that kind to fix the spans for type errors
// that we see later on. // that we see later on.
let ty_var = self.next_ty_var(TypeVariableOrigin { let ty_var = self.next_ty_var(TypeVariableOrigin {
kind: TypeVariableOriginKind::OpaqueTypeInference(def_id), kind: TypeVariableOriginKind::MiscVariable,
span, span,
}); });
obligations.extend( obligations.extend(

View File

@ -47,7 +47,6 @@ pub enum TypeVariableOriginKind {
MiscVariable, MiscVariable,
NormalizeProjectionType, NormalizeProjectionType,
TypeInference, TypeInference,
OpaqueTypeInference(DefId),
TypeParameterDefinition(Symbol, DefId), TypeParameterDefinition(Symbol, DefId),
/// One of the upvars or closure kind parameters in a `ClosureArgs` /// One of the upvars or closure kind parameters in a `ClosureArgs`