Skip to content

Commit 18f4b9f

Browse files
Remove unused ObligationCauseCode::ProjectionWf
1 parent 06d1afe commit 18f4b9f

File tree

2 files changed

+0
-6
lines changed

2 files changed

+0
-6
lines changed

compiler/rustc_middle/src/traits/mod.rs

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -250,9 +250,6 @@ pub enum ObligationCauseCode<'tcx> {
250250
/// A tuple is WF only if its middle elements are `Sized`.
251251
TupleElem,
252252

253-
/// This is the trait reference from the given projection.
254-
ProjectionWf(ty::AliasTy<'tcx>),
255-
256253
/// Must satisfy all of the where-clause predicates of the
257254
/// given item.
258255
ItemObligation(DefId),

compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2622,9 +2622,6 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
26222622
ObligationCauseCode::TupleElem => {
26232623
err.note("only the last element of a tuple may have a dynamically sized type");
26242624
}
2625-
ObligationCauseCode::ProjectionWf(data) => {
2626-
err.note(format!("required so that the projection `{data}` is well-formed"));
2627-
}
26282625
ObligationCauseCode::ReferenceOutlivesReferent(ref_ty) => {
26292626
err.note(format!(
26302627
"required so that reference `{ref_ty}` does not outlive its referent"

0 commit comments

Comments
 (0)