This commit is contained in:
Waffle Maybe 2024-04-05 21:32:32 +02:00 committed by GitHub
parent 1921968cc5
commit 8b9b024d25
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -130,7 +130,7 @@ pub enum ProbeStep<'tcx> {
pub enum ProbeKind<'tcx> { pub enum ProbeKind<'tcx> {
/// The root inference context while proving a goal. /// The root inference context while proving a goal.
Root { result: QueryResult<'tcx> }, Root { result: QueryResult<'tcx> },
/// Trying to normalize an alias by at least one stpe in `NormalizesTo`. /// Trying to normalize an alias by at least one step in `NormalizesTo`.
TryNormalizeNonRigid { result: QueryResult<'tcx> }, TryNormalizeNonRigid { result: QueryResult<'tcx> },
/// Probe entered when normalizing the self ty during candidate assembly /// Probe entered when normalizing the self ty during candidate assembly
NormalizedSelfTyAssembly, NormalizedSelfTyAssembly,