bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Remove unused ObligationCauseCode::ProjectionWf

Browse source
This commit is contained in:
Michael Goulet 2023-11-23 06:27:22 +00:00
parent ec1393f14e
commit 54ee79b3b8
2 changed files with 0 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_middle/src/traits/mod.rs
View file

@ -250,9 +250,6 @@ pub enum ObligationCauseCode<'tcx> {
/// A tuple is WF only if its middle elements are `Sized`. /// A tuple is WF only if its middle elements are `Sized`.
TupleElem, TupleElem,
/// This is the trait reference from the given projection.
ProjectionWf(ty::AliasTy<'tcx>),
/// Must satisfy all of the where-clause predicates of the /// Must satisfy all of the where-clause predicates of the
/// given item. /// given item.
ItemObligation(DefId), ItemObligation(DefId),

3
compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs
View file

@ -2621,9 +2621,6 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
ObligationCauseCode::TupleElem => { ObligationCauseCode::TupleElem => {
err.note("only the last element of a tuple may have a dynamically sized type"); err.note("only the last element of a tuple may have a dynamically sized type");
} }
ObligationCauseCode::ProjectionWf(data) => {
err.note(format!("required so that the projection `{data}` is well-formed"));
}
ObligationCauseCode::ReferenceOutlivesReferent(ref_ty) => { ObligationCauseCode::ReferenceOutlivesReferent(ref_ty) => {
err.note(format!( err.note(format!(
"required so that reference `{ref_ty}` does not outlive its referent" "required so that reference `{ref_ty}` does not outlive its referent"