about summary refs log tree commit diff
diff options
context:
space:
mode:
authorSantiago Pastorino <spastorino@gmail.com>2018-07-19 18:29:26 -0300
committerFelix S. Klock II <pnkfelix@pnkfx.org>2018-07-23 13:28:54 +0200
commitda935e96a11973c4ee3470f1b831eba1ac7a87c3 (patch)
tree50072f705ee622332e9a0ac9abe8e2701c5f6971
parent82e853e2e2e614cd36e4ff996a6ef48eefe1c5b6 (diff)
downloadrust-da935e96a11973c4ee3470f1b831eba1ac7a87c3.tar.gz
rust-da935e96a11973c4ee3470f1b831eba1ac7a87c3.zip
Remove redundant outlives declarations
-rw-r--r--src/librustc_mir/borrow_check/nll/type_check/mod.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustc_mir/borrow_check/nll/type_check/mod.rs b/src/librustc_mir/borrow_check/nll/type_check/mod.rs
index e23f9b20a10..519ddfd1f30 100644
--- a/src/librustc_mir/borrow_check/nll/type_check/mod.rs
+++ b/src/librustc_mir/borrow_check/nll/type_check/mod.rs
@@ -202,7 +202,7 @@ enum FieldAccessError {
 /// The sanitize_XYZ methods here take an MIR object and compute its
 /// type, calling `span_mirbug` and returning an error type if there
 /// is a problem.
-struct TypeVerifier<'a, 'b: 'a, 'gcx: 'b + 'tcx, 'tcx: 'b> {
+struct TypeVerifier<'a, 'b: 'a, 'gcx: 'tcx, 'tcx: 'b> {
     cx: &'a mut TypeChecker<'b, 'gcx, 'tcx>,
     mir: &'a Mir<'tcx>,
     last_span: Span,
@@ -611,7 +611,7 @@ impl<'a, 'b, 'gcx, 'tcx> TypeVerifier<'a, 'b, 'gcx, 'tcx> {
 /// constraints needed for it to be valid and well-typed. Along the
 /// way, it accrues region constraints -- these can later be used by
 /// NLL region checking.
-struct TypeChecker<'a, 'gcx: 'a + 'tcx, 'tcx: 'a> {
+struct TypeChecker<'a, 'gcx: 'tcx, 'tcx: 'a> {
     infcx: &'a InferCtxt<'a, 'gcx, 'tcx>,
     param_env: ty::ParamEnv<'gcx>,
     last_span: Span,