mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update outdated comments

Browse Source
This commit is contained in:
lcnr 2024-09-27 13:48:11 +02:00
parent b9dc4a30e1
commit 9766192545
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_type_ir/src/predicate.rs
View File

@ -668,8 +668,8 @@ fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
}
}
/// Used by the new solver. Unlike a `ProjectionPredicate` this can only be
/// proven by actually normalizing `alias`.
/// Used by the new solver to normalize an alias. This always expects the `term` to
/// be an unconstrained inference variable which is used as the output.
#[derive_where(Clone, Copy, Hash, PartialEq, Eq; I: Interner)]
#[derive(TypeVisitable_Generic, TypeFoldable_Generic, Lift_Generic)]
#[cfg_attr(feature = "nightly", derive(TyDecodable, TyEncodable, HashStable_NoContext))]

12
compiler/rustc_type_ir/src/predicate_kind.rs
View File

@ -74,13 +74,13 @@ pub enum PredicateKind<I: Interner> {
Ambiguous,
/// This should only be used inside of the new solver for `AliasRelate` and expects
/// the `term` to be an unconstrained inference variable.
/// the `term` to be always be an unconstrained inference variable. It is used to
/// normalize `alias` as much as possible. In case the alias is rigid - i.e. it cannot
/// be normalized in the current environment - this constrains `term` to be equal to
/// the alias itself.
///
/// The alias normalizes to `term`. Unlike `Projection`, this always fails if the
/// alias cannot be normalized in the current context. For the rigid alias
/// `T as Trait>::Assoc`, `Projection(<T as Trait>::Assoc, ?x)` constrains `?x`
/// to `<T as Trait>::Assoc` while `NormalizesTo(<T as Trait>::Assoc, ?x)`
/// results in `NoSolution`.
/// It is likely more useful to think of this as a function `normalizes_to(alias)`,
/// whose return value is written into `term`.
NormalizesTo(ty::NormalizesTo<I>),
/// Separate from `ClauseKind::Projection` which is used for normalization in new solver.