diff options
| author | Michael Goulet <michael@errs.io> | 2024-11-24 01:15:04 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-12-01 05:11:42 +0000 |
| commit | 30afeb0357006bf87c8f41f067896e3c0abe11dd (patch) | |
| tree | 3c4d508facce4643ecc29b8a7629e01f0196b3cb /compiler/rustc_middle/src/traits/mod.rs | |
| parent | 17c6efa9788cf9396750c4edacd4e724e8a7bb2b (diff) | |
| download | rust-30afeb0357006bf87c8f41f067896e3c0abe11dd.tar.gz rust-30afeb0357006bf87c8f41f067896e3c0abe11dd.zip | |
Adjust HostEffect error spans correctly to point at args
Diffstat (limited to 'compiler/rustc_middle/src/traits/mod.rs')
| -rw-r--r-- | compiler/rustc_middle/src/traits/mod.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/traits/mod.rs b/compiler/rustc_middle/src/traits/mod.rs index d61ef7641ee..0a77c3bc42f 100644 --- a/compiler/rustc_middle/src/traits/mod.rs +++ b/compiler/rustc_middle/src/traits/mod.rs @@ -204,6 +204,10 @@ pub enum ObligationCauseCode<'tcx> { /// list of the item. WhereClauseInExpr(DefId, Span, HirId, usize), + /// Like `WhereClauseinExpr`, but indexes into the `const_conditions` + /// rather than the `predicates_of`. + HostEffectInExpr(DefId, Span, HirId, usize), + /// A type like `&'a T` is WF only if `T: 'a`. ReferenceOutlivesReferent(Ty<'tcx>), |