diff options
| author | Michael Goulet <michael@errs.io> | 2024-05-09 21:18:48 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-05-10 10:42:57 -0400 |
| commit | 6f77bfe8b63b2e1bba71a0eb4973ccd17fe8885c (patch) | |
| tree | 4ed62ab743c67875b1e4adcdff26e05766faa926 /compiler/rustc_middle/src/traits/mod.rs | |
| parent | 9108294a6c37c36ce561eade9d1c321a5d75bddd (diff) | |
| download | rust-6f77bfe8b63b2e1bba71a0eb4973ccd17fe8885c.tar.gz rust-6f77bfe8b63b2e1bba71a0eb4973ccd17fe8885c.zip | |
Name tweaks
Diffstat (limited to 'compiler/rustc_middle/src/traits/mod.rs')
| -rw-r--r-- | compiler/rustc_middle/src/traits/mod.rs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/compiler/rustc_middle/src/traits/mod.rs b/compiler/rustc_middle/src/traits/mod.rs index 5e5f28a54e8..6c33a29ea81 100644 --- a/compiler/rustc_middle/src/traits/mod.rs +++ b/compiler/rustc_middle/src/traits/mod.rs @@ -249,20 +249,20 @@ pub enum ObligationCauseCode<'tcx> { /// Must satisfy all of the where-clause predicates of the /// given item. - MiscItem(DefId), + WhereClause(DefId), - /// Like `MiscItem`, but carries the span of the + /// Like `WhereClause`, but carries the span of the /// predicate when it can be identified. - SpannedItem(DefId, Span), + SpannedWhereClause(DefId, Span), - /// Like `MiscItem`, but carries the `HirId` of the + /// Like `WhereClause`, but carries the `HirId` of the /// expression that caused the obligation, and the `usize` /// indicates exactly which predicate it is in the list of /// instantiated predicates. - MiscItemInExpr(DefId, HirId, usize), + WhereClauseInExpr(DefId, HirId, usize), - /// Combines `SpannedItem` and `MiscItemInExpr`. - SpannedItemInExpr(DefId, Span, HirId, usize), + /// Combines `SpannedWhereClause` and `WhereClauseInExpr`. + SpannedWhereClauseInExpr(DefId, Span, HirId, usize), /// A type like `&'a T` is WF only if `T: 'a`. ReferenceOutlivesReferent(Ty<'tcx>), |
