diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2018-07-19 18:29:26 -0300 |
|---|---|---|
| committer | Felix S. Klock II <pnkfelix@pnkfx.org> | 2018-07-23 13:28:54 +0200 |
| commit | da935e96a11973c4ee3470f1b831eba1ac7a87c3 (patch) | |
| tree | 50072f705ee622332e9a0ac9abe8e2701c5f6971 | |
| parent | 82e853e2e2e614cd36e4ff996a6ef48eefe1c5b6 (diff) | |
| download | rust-da935e96a11973c4ee3470f1b831eba1ac7a87c3.tar.gz rust-da935e96a11973c4ee3470f1b831eba1ac7a87c3.zip | |
Remove redundant outlives declarations
| -rw-r--r-- | src/librustc_mir/borrow_check/nll/type_check/mod.rs | 4 |
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, |
