remove unused TypeError::ProjectionBoundsLength
This commit is contained in:
parent
71b45b97d3
commit
f632bd1a50
2 changed files with 0 additions and 10 deletions
|
@ -57,7 +57,6 @@ pub enum TypeError<'tcx> {
|
||||||
/// type).
|
/// type).
|
||||||
CyclicTy(Ty<'tcx>),
|
CyclicTy(Ty<'tcx>),
|
||||||
ProjectionMismatched(ExpectedFound<DefId>),
|
ProjectionMismatched(ExpectedFound<DefId>),
|
||||||
ProjectionBoundsLength(ExpectedFound<usize>),
|
|
||||||
ExistentialMismatch(ExpectedFound<&'tcx ty::List<ty::ExistentialPredicate<'tcx>>>),
|
ExistentialMismatch(ExpectedFound<&'tcx ty::List<ty::ExistentialPredicate<'tcx>>>),
|
||||||
ObjectUnsafeCoercion(DefId),
|
ObjectUnsafeCoercion(DefId),
|
||||||
ConstMismatch(ExpectedFound<&'tcx ty::Const<'tcx>>),
|
ConstMismatch(ExpectedFound<&'tcx ty::Const<'tcx>>),
|
||||||
|
@ -174,13 +173,6 @@ impl<'tcx> fmt::Display for TypeError<'tcx> {
|
||||||
tcx.def_path_str(values.found)
|
tcx.def_path_str(values.found)
|
||||||
)
|
)
|
||||||
}),
|
}),
|
||||||
ProjectionBoundsLength(ref values) => write!(
|
|
||||||
f,
|
|
||||||
"expected {} associated type binding{}, found {}",
|
|
||||||
values.expected,
|
|
||||||
pluralize!(values.expected),
|
|
||||||
values.found
|
|
||||||
),
|
|
||||||
ExistentialMismatch(ref values) => report_maybe_different(
|
ExistentialMismatch(ref values) => report_maybe_different(
|
||||||
f,
|
f,
|
||||||
&format!("trait `{}`", values.expected),
|
&format!("trait `{}`", values.expected),
|
||||||
|
@ -216,7 +208,6 @@ impl<'tcx> TypeError<'tcx> {
|
||||||
| RegionsPlaceholderMismatch
|
| RegionsPlaceholderMismatch
|
||||||
| Traits(_)
|
| Traits(_)
|
||||||
| ProjectionMismatched(_)
|
| ProjectionMismatched(_)
|
||||||
| ProjectionBoundsLength(_)
|
|
||||||
| ExistentialMismatch(_)
|
| ExistentialMismatch(_)
|
||||||
| ConstMismatch(_)
|
| ConstMismatch(_)
|
||||||
| IntrinsicCast
|
| IntrinsicCast
|
||||||
|
|
|
@ -655,7 +655,6 @@ impl<'a, 'tcx> Lift<'tcx> for ty::error::TypeError<'a> {
|
||||||
VariadicMismatch(x) => VariadicMismatch(x),
|
VariadicMismatch(x) => VariadicMismatch(x),
|
||||||
CyclicTy(t) => return tcx.lift(&t).map(|t| CyclicTy(t)),
|
CyclicTy(t) => return tcx.lift(&t).map(|t| CyclicTy(t)),
|
||||||
ProjectionMismatched(x) => ProjectionMismatched(x),
|
ProjectionMismatched(x) => ProjectionMismatched(x),
|
||||||
ProjectionBoundsLength(x) => ProjectionBoundsLength(x),
|
|
||||||
Sorts(ref x) => return tcx.lift(x).map(Sorts),
|
Sorts(ref x) => return tcx.lift(x).map(Sorts),
|
||||||
ExistentialMismatch(ref x) => return tcx.lift(x).map(ExistentialMismatch),
|
ExistentialMismatch(ref x) => return tcx.lift(x).map(ExistentialMismatch),
|
||||||
ConstMismatch(ref x) => return tcx.lift(x).map(ConstMismatch),
|
ConstMismatch(ref x) => return tcx.lift(x).map(ConstMismatch),
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue