Skip to content

Commit 0a9cb76

Browse files
author
Jorge Aparicio
committed
---
yaml --- r: 168862 b: refs/heads/snap-stage3 c: 8d0d752 h: refs/heads/master v: v3
1 parent dcd2831 commit 0a9cb76

File tree

4 files changed

+4
-24
lines changed

4 files changed

+4
-24
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
---
22
refs/heads/master: 5e21e17d9638d14af41e27e5ca9a21c8a1bc0170
33
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
4-
refs/heads/snap-stage3: 643826150b502eddcc9b736e4320cb76ccedff8a
4+
refs/heads/snap-stage3: 8d0d7521d65eff290183e9d19858c6ca8779fe01
55
refs/heads/try: 5204084bd2e46af7cc6e0147430e44dd0d657bbb
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
77
refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d

branches/snap-stage3/src/librustc_typeck/check/closure.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -13,20 +13,18 @@
1313
use super::{check_fn, Expectation, FnCtxt};
1414

1515
use astconv;
16-
use middle::infer;
1716
use middle::region::CodeExtent;
1817
use middle::subst;
1918
use middle::ty::{self, ToPolyTraitRef, Ty};
2019
use rscope::RegionScope;
2120
use syntax::abi;
2221
use syntax::ast;
23-
use syntax::ast::CaptureClause::*;
2422
use syntax::ast_util;
2523
use util::ppaux::Repr;
2624

2725
pub fn check_expr_closure<'a,'tcx>(fcx: &FnCtxt<'a,'tcx>,
2826
expr: &ast::Expr,
29-
capture: ast::CaptureClause,
27+
_capture: ast::CaptureClause,
3028
opt_kind: Option<ast::UnboxedClosureKind>,
3129
decl: &ast::FnDecl,
3230
body: &ast::Block,

branches/snap-stage3/src/librustc_typeck/check/regionck.rs

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -856,10 +856,8 @@ fn check_expr_fn_block(rcx: &mut Rcx,
856856

857857
fn constrain_callee(rcx: &mut Rcx,
858858
callee_id: ast::NodeId,
859-
call_expr: &ast::Expr,
860-
callee_expr: &ast::Expr) {
861-
let call_region = ty::ReScope(CodeExtent::from_node_id(call_expr.id));
862-
859+
_call_expr: &ast::Expr,
860+
_callee_expr: &ast::Expr) {
863861
let callee_ty = rcx.resolve_node_type(callee_id);
864862
match callee_ty.sty {
865863
ty::ty_bare_fn(..) => { }

branches/snap-stage3/src/librustc_typeck/check/regionmanip.rs

Lines changed: 0 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -319,22 +319,6 @@ impl<'a, 'tcx> Wf<'a, 'tcx> {
319319
}
320320
}
321321

322-
fn accumulate_from_closure_ty(&mut self,
323-
ty: Ty<'tcx>,
324-
c: &ty::ClosureTy<'tcx>)
325-
{
326-
match c.store {
327-
ty::RegionTraitStore(r_b, _) => {
328-
self.push_region_constraint_from_top(r_b);
329-
}
330-
ty::UniqTraitStore => { }
331-
}
332-
333-
let required_region_bounds =
334-
ty::object_region_bounds(self.tcx, None, c.bounds.builtin_bounds);
335-
self.accumulate_from_object_ty(ty, c.bounds.region_bound, required_region_bounds);
336-
}
337-
338322
fn accumulate_from_object_ty(&mut self,
339323
ty: Ty<'tcx>,
340324
region_bound: ty::Region,

0 commit comments

Comments
 (0)