Skip to content

Commit 8733930

Browse files
nikomatsakiseddyb
authored andcommitted
---
yaml --- r: 105309 b: refs/heads/master c: 01a15d5 h: refs/heads/master i: 105307: 45d97d3 v: v3
1 parent c7d8887 commit 8733930

File tree

2 files changed

+12
-13
lines changed

2 files changed

+12
-13
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
---
2-
refs/heads/master: a7db0d5d30adbaec2b4ec6e009a0bf9c7850f9be
2+
refs/heads/master: 01a15d5870169636cec50a1f9d98bc967472a680
33
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
44
refs/heads/snap-stage3: b8601a3d8b91ad3b653d143307611f2f5c75617e
55
refs/heads/try: db814977d07bd798feb24f6b74c00800ef458a13

trunk/src/librustc/middle/typeck/check/regionck.rs

Lines changed: 11 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -509,8 +509,8 @@ fn visit_expr(rcx: &mut Rcx, expr: &ast::Expr) {
509509
};
510510
match ty::get(base_ty).sty {
511511
ty::ty_rptr(r_ptr, _) => {
512-
mk_subregion_due_to_derefence(rcx, expr.span,
513-
ty::ReScope(expr.id), r_ptr);
512+
mk_subregion_due_to_dereference(rcx, expr.span,
513+
ty::ReScope(expr.id), r_ptr);
514514
}
515515
_ => {}
516516
}
@@ -843,10 +843,9 @@ fn constrain_autoderefs(rcx: &mut Rcx,
843843
derefs: uint,
844844
mut derefd_ty: ty::t) {
845845
/*!
846-
* Invoked on any dereference that occurs, whether explicitly
847-
* or through an auto-deref. Checks that if this is a region
848-
* pointer being derefenced, the lifetime of the pointer includes
849-
* the deref expr.
846+
* Invoked on any auto-dereference that occurs. Checks that if
847+
* this is a region pointer being dereferenced, the lifetime of
848+
* the pointer includes the deref expr.
850849
*/
851850
let r_deref_expr = ty::ReScope(deref_expr.id);
852851
for i in range(0u, derefs) {
@@ -887,8 +886,8 @@ fn constrain_autoderefs(rcx: &mut Rcx,
887886

888887
match ty::get(derefd_ty).sty {
889888
ty::ty_rptr(r_ptr, _) => {
890-
mk_subregion_due_to_derefence(rcx, deref_expr.span,
891-
r_deref_expr, r_ptr);
889+
mk_subregion_due_to_dereference(rcx, deref_expr.span,
890+
r_deref_expr, r_ptr);
892891
}
893892
_ => {}
894893
}
@@ -902,10 +901,10 @@ fn constrain_autoderefs(rcx: &mut Rcx,
902901
}
903902
}
904903

905-
pub fn mk_subregion_due_to_derefence(rcx: &mut Rcx,
906-
deref_span: Span,
907-
minimum_lifetime: ty::Region,
908-
maximum_lifetime: ty::Region) {
904+
pub fn mk_subregion_due_to_dereference(rcx: &mut Rcx,
905+
deref_span: Span,
906+
minimum_lifetime: ty::Region,
907+
maximum_lifetime: ty::Region) {
909908
rcx.fcx.mk_subr(true, infer::DerefPointer(deref_span),
910909
minimum_lifetime, maximum_lifetime)
911910
}

0 commit comments

Comments
 (0)